Вы здесь

Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020

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

Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020/Ed. by de Boer F., Cerone A..-Berlin.: Springer, 2020.-Vol. 12310.-325 p.-(Lecture Notes in Computer Science).