Handbook of Model Checking
Publisher: Springer
Published: Jul 20, 2019
Format: paperback
Number of pages: 1210
ISBN-13: 9783030132330