Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs - Sciweavers

42

click to vote

more VMCAI 2012 ...

www4.in.tum.de

Tweet