Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Grigore Rosu
Grigore Rosu
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
4
Tools and Algorithms for the Construction and Analysis of Systems
Formal Approaches to Software Testing and Runtime Verification
Model Checking Software
Algebraic Methodology and Software Technology
