Showing 1 - 7 results of 7 for search 'Rosu, Grigore', query time: 0.02s Narrow Search
  1. 1
    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: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    Published 2008
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    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 I
    Published 2022
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  4. 4
    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
    Published 2022
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  5. 5
    Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings
    Published 2022
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  6. 6
    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: Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    Published 2010
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: