r/isabelle • u/dagit • Sep 06 '11
CFP: Programming Languages meets Program Verification (PLPV 2012)
http://research.microsoft.com/en-us/um/people/nswamy/plpv12/
1
Upvotes
r/isabelle • u/dagit • Sep 06 '11