NASA Formal Methods

Full text!
Type:
e-book
Titel:
NASA Formal Methods
Auteur:
Lee; Giannakopoulou, Dimitra; Jha, Susmit; Mavridou, Anastasia
Taal:
Engels
Uitgever:
Springer International Publishing 2020
ISBN:
3-030-55753-7
3-030-55754-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:4100000011384310