G
Grigore Roșu
Books by Grigore Roșu
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Owolabi Legunsen, Grigore Roșu
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ...
Klaus Havelund, Manuel Núñez, Grigore Roșu, Burkhart Wolff