Penulis: Alfons Laarman

Dukung

1 Ebooks oleh Alfons Laarman

Alfons Laarman & Ana Sokolova: Model Checking Software
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case stud …
EPUB
Inggris
DRM
€57.90