Вы здесь

Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019

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

Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019/Ed. by Sekerinski E., Moreira N., Oliveira J. N..-Berlin.: Springer, 2020.-Vol. 12233.-575 p.-(Lecture Notes in Computer Science).