27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.
weiterlesen