Book

Formal Methods

by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink