Generating Verifiable Java Code from Verified PVS Specifications
Published in Lecture notes in computer science • Jan 1, 2012
NobleIDNI6P37W51R65S89
Authors:,,
Leonard Lensink
Sjaak Smetsers
Marko van Eekelen
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!