Grigore Rosu
4 known books
newest first
No author bio imported yet.
Books
OpenLibrary works by this author.
Algebraic Methodology and Softwar...
Algebraic Methodology and Software Technology
Year unknown
José Meseguer and Grigore Rosu
Formal Approaches to Software Tes...
Formal Approaches to Software Testing and Runtime Verification
Year unknown
Klaus Havelund, Manuel Núnez, Grigore Rosu, and Burkhart Wolff
Model Checking Software
Model Checking Software
Year unknown
Owolabi Legunsen and Grigore Rosu
Tools and Algorithms for the Cons...
Tools and Algorithms for the Construction and Analysis of Systems
Year unknown
Dana Fisman and Grigore Rosu
Fetched from OpenLibrary. Some translations may appear as separate works.