TY  - BOOK
AU  - Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
TI  - NASA Formal Methods
SN  - 9783030763848
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-76384-8
ER  -