Model checking programs
Published in Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering • Jan 1, 2000
Authors:,,
W. Visser
K. Havelund
G. Brat
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!