25 results Refine Results
  1. 1
    Published 1985
    Conference Proceeding Book
    Save to List
    Saved in:
    Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 /
  2. 2
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings /
  3. 3
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /
  4. 4
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 /
  5. 5
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /
  6. 6
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /
  7. 7
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /
  8. 8
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe ; Barcelona, Spain, October 24-28, 1994 : proceedings /
  9. 9
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings /
  10. 10
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
  11. 11
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barselona, Spain, March 29-April 2, 2004 : proceedings /
  12. 12
    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 /
  13. 13
    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 /
  14. 14
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Advanced web technologies and applications : 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004 : proceedings /
  15. 15
    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 /
  16. 16
    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 /
  17. 17
    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 /
  18. 18
    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 /
  19. 19
    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 /
  20. 20
    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 /

Search Tools: