Titolo, Laura books & textbook
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Programming and Software Engineering)
Dutle, Aaron Moscato, Mariano M. Titolo, Laura Muñoz, César A. Perez, Ivan
Springer /2021-05-17 Paperback / 420 Pages
isbn-10: 3030763838 / isbn-13: 9783030763831
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science)
Cimatti, Alessandro Titolo, Laura
Springer /2023-09-17 Paperback / 272 Pages
isbn-10: 3031436806 / isbn-13: 9783031436802
