Reading Length
Home
Speed Tests
Login
Corina Pasareanu
Identifiers
Open Library
OL9996673A
Books by Corina Pasareanu
Total count: 1
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Springer International Publishing AG
2021-01-01