Formal Methods for Model-Driven Engineering - Hutchison, David; Kanade, Takeo; Cortellessa, Vittorio; Pierantonio, Alfonso (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Software Engineering