Formal Methods for Components and Objects - Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Kanade, Takeo; Leuschel, Michael (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering