Search

Author/Creator Narkawicz, Anthony Joseph, 1982-

1. NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. (2018)

Editors:
Dutle, Aaron Michael; Muñoz, César A, 1968-; Narkawicz, Anthony Joseph, 1982-
Other Names:
NFM (Symposium), 10th
Record Type:
Book
Extent:
1 online resource (xi, 470 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search