Modular verification for shared-variable concurrent programs
Published in Lecture notes in computer science • Jan 1, 1996
NobleIDNI6P07W35R74S62
Authors:
Jürgen Dingel
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!