Formal Methods: Applications and Technology - Brim, LuboÅ¡; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Software Engineering