Yazar
Sharon Shoham
2 cilt bulundu.
Cilt sonuçları
Computer Aided Verification
Sharon Shoham, Yakir Vizel · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok