Formal Methods for Industrial Critical Systems - Alpuente, María; Cook, Byron; Joubert, Christophe; Kanade, Takeo (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering