Grigore Rosu

Author detail

GR

3 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL10231627A

Featured books

Representative editions for works actually authored by this person.

Model Checking SoftwareGrigore Rosu
MC
Model Checking Software
Model Checking Software | 2022
Representative edition for this work grouping in the active catalog.
no cover
Tools and Algorithms for the Co...Grigore Rosu
TA
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2022
Representative edition for this work grouping in the active catalog.
no cover
Formal Approaches to Software T...Grigore Rosu
FA
Formal Approaches to Software Testing and Runtime Verification
Formal Approaches to Software Testing and Runtime Verification | 2006
Representative edition for this work grouping in the active catalog.
no cover

Quick navigation into the work-level grouping pages behind the featured books.

Model Checking Software
Representative edition published 2022
Open Work
Tools and Algorithms for the Construction and Analysis of Systems
Representative edition published 2022
Open Work
Formal Approaches to Software Testing and Runtime Verification
Representative edition published 2006
Open Work