Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science, Band 13085)

Allgemein

Marke
Radu Calinescu

Eigenschaften

Menü