Biondi, Fabrizio books & textbook
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Theoretical Computer Science and General Issues)
Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel
Springer /2019-09-14 Paperback / 272 Pages
isbn-10: 3030309223 / isbn-13: 9783030309220
