Alfons Laarman (editor)

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)

2021 · ENGLISH · PDF

View details →