Program verification (tutorial session): techniques and uses

Public

Published in Technical Symposium on Computer Science Education • Feb 1, 1990

Authors:

H. Walker

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!