Book

Integrated Formal Methods

by Maurice H. ter Beek, Rosemary Monahan