Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Abrial Jean-Raymond Heftet / 2010 / Engelsk
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control Abrial Jean-Raymond Heftet / 1996 / Engelsk
