Showing 1 - 4 results of 4 for search 'Roşu, Grigore', query time: 0.02s Refine Results
  1. 1
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Published 2008
    Other Authors: “…Roşu, Grigore…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
    Published 2012
    Other Authors: “…Rosu, Grigore…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2006
    Other Authors: “…Roşu, Grigore…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Published 2010
    Other Authors: “…Roşu, Grigore…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search