NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

Type:

e-book

Titel:

NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

Auteur:

Dutle, Aaron; Moscato, Mariano M.; Muñoz, César A.; Perez, Ivan; Titolo, Laura

Taal:

Engels

Uitgever:

Springer International Publishing 2021

ISBN:

3-030-76383-8
3-030-76384-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000011930420