Formal Methods for Components and Objects - Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering