Book

Formal Methods

by Flemming Nielson, Hanne Riis Nielson