NobleBlocks
Public

Software Verification: Testing vs. Model Checking

Published in Lecture notes in computer science • Jan 1, 2017
NobleIDNI4P55W01R00S94
Authors:
Dirk Beyer
,
Thomas R. Lemberger
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!