Computer Aided Verification More Books by Hana Chockler & Georg Weissenbacher

Validation of Evolving Software

2015