Formal Methods for Components and Objects - Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering