Program Logics and Program Verification (position paper).
Published in Nature Reviews Cardiology • Jan 1, 1981
Authors:,
Leslie Lamport
Susan Owicki
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!
No comments yet
Be the first to share your thoughts!