Author books / Книги автора Fabrizio Biondi Thomas Given-Wilson Axel Legay » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Fabrizio Biondi Thomas Given-Wilson Axel Legay

book Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

pdf

Author: Fabrizio Biondi Thomas Given-Wilson Axel Legay
Language: English
Year: 2019

00

05.02.2024

0

0