Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach , Antonio Cerone , Bernd-Holger Schlingloff