Вы здесь

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

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

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