Ireland, Andrew
-
Volume 53: Automated Verification of Critical Systems 2012 - Articles
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST