Вы здесь
Formal Methods: Foundations and Applications: Proc./24th Brazilian Symposium, Virtual Event, December 2021
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2021
Ключевые слова:
Стр.:
141 p.
Место издания:
Издательство:
Том:
13130
Карточка:
Formal Methods: Foundations and Applications: Proc./24th Brazilian Symposium, Virtual Event, December 2021Ed. by Campos S., Minea M..-Berlin.: Springer, 2021.-Vol. 13130.-141 p.-(Lecture Notes in Computer Science).