Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman, Grigore Rosu · First published 2022Open the Tome
Algebraic Methodology and Software TechnologyJosé Meseguer, Grigore Rosu · First published 2008Open the Tome
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund,Grigore Rosu,Manuel N. Nez · First published 2008Open the Tome
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · First published 2006Open the Tome
