Handbook of Model Checking
Publisher: Springer London, Limited
Published: 2017
Language: eng
ISBN-13: 9783319105758
Subjects: Logic, symbolic and mathematical