Book

Formal Methods

by Marieke Huisman, Corina Pasareanu, Naijun Zhan