Deductive model checking
Published in Lecture notes in computer science • Jan 1, 1996
NobleIDNI3P41W15R55S59
Authors:,,
Henny B. Sipma
Tomás E. Uribe
Zohar Manna
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!