Systems and Software Verification: Model-Checking Techniques and Tools
No ratings yet
Dec 15, 2010
·
English
·
Paperback
(202 pages)