Fundamentals Of Software EngineeringCARLO JAZAYERI, MEHDI MANDRIOLI, DINO GHEZZI · First published 2002Open the Tome
Formal methods for real-time computingConstance Heitmeyer, Dino Mandrioli · First published 1996Open the Tome
Advances in object-oriented software engineeringDino Mandrioli, Bertrand Meyer · First published 1992Open the Tome
Fundamentals of software engineeringCarlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli · First published 1991Open the Tome
