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