Symbolic Model Checking
Publisher: Springer
Published: Oct 02, 2011
Format: paperback
Number of pages: 216
ISBN-13: 9781461531913