Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

by Bernhard Steffen (Editor), Tiziana Margaria (Editor)

$87.70

Quantity

10 in stock

More Information

Format: Paperback
Pages: 611
Edition: 1st ed. 2022

ISBN 13: 9783031198489