Grigore Rosu

No bio available. Add one in Open Library.

Books by Grigore Rosu (50 max)

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

2022

Dana Fisman, Grigore Rosu

+ shelf+ list

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2006

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

+ shelf+ list

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, il, USA, July 28-31, 2008, Proceedings

2008

José Meseguer, Grigore Rosu

+ shelf+ list

Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

2022

Owolabi Legunsen, Grigore Rosu