Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science, Band 13130)

Allgemein

Marke
Sérgio Campos

Eigenschaften

Menü