Rigorous Software Development - Almeida, José Bacelar; Almeida, José Bacelar; Frade, Maria João; Frade, Maria João; Melo de Sousa, Simão; Pinto, Jorge Sousa (Springer London, 2011)
Keywords: Information Technology -- Software Engineering