Formal Methods for Components and Objects - Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S. (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Software Engineering