Normal view MARC view

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (Personal Name)

Number of records used in: 1
Preferred form: Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Machine generated authority record

Work cat.: (OSt)1655319: Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez, NASA Formal Methods