Вы здесь

NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020

Вид: 
Сборник или журнал
Год: 
2020
Стр.: 
442 p.
Редактор: 
Место издания: 
Издательство: 
Источник: 
Том: 
12229
Карточка: 

NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020/Ed. by Lee R., Jha S., Mavridou A..-Berlin.: Springer, 2020.-Vol. 12229.-442 p.-(Lecture Notes in Computer Science).