Normal view
MARC view
Holzmann, Gerard (Personal Name)
Machine generated authority record.
Work cat.: (OSt)187555: NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book), 2015