Book

NASA Formal Methods

by Klaus Havelund, Gerard Holzmann, Rajeev Joshi