Formal Aspects of Component Software - Hutchison, David; Kanade, Takeo; Salaün, Gwen (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Software Engineering