Book

Formal Methods for Industrial Critical Systems

by Jan Friso Groote, Marieke Huisman