Normal view
MARC view
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez(Personal Name)
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