Alfons Laarman

Identifiers

Open LibraryOL9585663A

Books by Alfons Laarman

Total count: 1

Model Checking Software27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Springer International Publishing AG2021-01-01