Language Engineering and Rigorous Software Development - Bove, Ana; Barbosa, Luís Soares; Kanade, Takeo; Pardo, Alberto; Pinto, Jorge Sousa (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering