42 results Refine Results
  1. 21
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings /
  2. 22
    Published 2003
    Conference Proceeding Book
    Save to List
    Saved in:
    UML 2003 - the unified modeling language : modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /
  3. 23
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings /
  4. 24
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    SOFSEM '97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 : proceedings /
  5. 25
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings /
  6. 26
    Published 2000
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings /
  7. 27
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
  8. 28
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
  9. 29
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Objective software quality : objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995 : proceedings /
  10. 30
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings /
  11. 31
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 7th international conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings /
  12. 32
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
  13. 33
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /
  14. 34
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings /
  15. 35
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
  16. 36
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Object-technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings /
  17. 37
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings /
  18. 38
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings /
  19. 39
    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
    Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
  20. 40
    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, proceedings /

Search Tools: