Grigore Rosu
Grigore Rosu
Books
Co-authored books and collections
Books that list Grigore Rosu among their authors but not as the lead author: co-written works, collections and compilations.
Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman · 2022
Model Checking SoftwareOwolabi Legunsen
Model Checking Software
Owolabi Legunsen · 2022
Algebraic Methodology and Software TechnologyJosé Meseguer
Algebraic Methodology and Software Technology
José Meseguer · 2008
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund · 2006