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