Yazar
Anton Wijs
3 cilt bulundu.
Cilt sonuçları
Model Checking Software
Dragan Bošnački, Anton Wijs · Springer London, Limited
260 sayfa · 2016
Computer software, verification / Computer simulation
Concise Guide to Software Verification
Marieke Huisman, Anton Wijs · Springer International Publishing AG
Sayfa sayısı yok · 2023
Mathematics