Rosu, Grigore books & textbook
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, 5140)
Springer /2008-07-15 Paperback / 447 Pages
isbn-10: 3540799796 / isbn-13: 9783540799795
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)
Havelund, Klaus Núnez, Manuel Rosu, Grigore Wolff, Burkhart
Springer /2006-12-07 Paperback / 263 Pages
isbn-10: 3540496998 / isbn-13: 9783540496991
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Springer /2022-03-30 Paperback / 516 Pages
isbn-10: 3030995267 / isbn-13: 9783030995263
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Springer /2022-03-30 Paperback / 608 Pages
isbn-10: 3030995232 / isbn-13: 9783030995232
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science, 7273)
Springer /2012-05-31 Paperback / 282 Pages
isbn-10: 3642307922 / isbn-13: 9783642307928
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Barringer, Howard Falcone, Ylies Finkbeiner, Bernd Havelund, Klaus Lee, Insup Pace, Gordon Rosu, Grigore Sokolsky, Oleg Tillmann, Nikolai
Springer /2010-10-19 Paperback / 505 Pages
isbn-10: 3642166113 / isbn-13: 9783642166112
Institution Morphisms
Goguen, Joseph Rosu, Grigore Nasa Technical Reports Server (Ntrs)
Bibliogov /2013-08-02 Paperback / 38 Pages
isbn-10: 1287275893 / isbn-13: 9781287275893
