Programs from Proofs - A PCC Alternative - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim. Programs from Proofs - A PCC Alternative. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 912-927, Springer, 2013. [doi]

This author has not been identified. Look up 'Daniel Wonisch' in GoogleThis author has not been identified. Look up 'Alexander Schremmer' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in Google

runs on WebDSL