Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

Computer Aided Verification - Springer Springer 2016

9783319415284

EBOOK