Author/Creator: Barrett, Clark - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Barrett, Clark

1. NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (2017)

Editors:: Barrett, Clark; Davies, Misty; Kahsai, Temesghen
Other Names:: NFM (Symposium), 9th
Record Type:: Book
Extent:: 1 online resource (xi, 436 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗