Formal Methods: Foundations and Applications - Oliveira, Marcel Vinícius Medeiros; Kanade, Takeo; Woodcock, Jim (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering