Model-Checking Complex Software – A Memory Perspective
Published in Lecture notes in computer science • Jan 1, 2004
NobleIDNI9P35W09R62S45
Authors:,
Murali Rangarajan
Darren Cofer
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!