Author books / Книги автора Ritchie Lee Susmit Jha Anastasia Mavridou Dimitra Giannakopoulou » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ritchie Lee Susmit Jha Anastasia Mavridou Dimitra Giannakopoulou

book NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

pdf

Author: Ritchie Lee Susmit Jha Anastasia Mavridou Dimitra Giannakopoulou
Language: English
Year: 2020

00

07.02.2024

0

0