80 results Refine Results
  1. 1
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 /
  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 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Software quality and productivity : theory, practice, education and training /
  5. 5
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 /
  6. 6
    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 /
  7. 7
    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 /
  8. 8
    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 /
  9. 9
    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 /
  10. 10
    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 /
  11. 11
    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 /
  12. 12
    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 /
  13. 13
    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 /
  14. 14
    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 /
  15. 15
    Published 2002
    Conference Proceeding Book
    Save to List
    Saved in:
    History of computing : software issues : International Conference on the History of Computing, ICHC 2000, April 5-7, 2000, Heinz Nixdorf MuseumsForum, Paderborn, Germany /
  16. 16
    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 /
  17. 17
    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 /
  18. 18
    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 /
  19. 19
    Published 2001
    Conference Proceeding Book
    Save to List
    Saved in:
    Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01, Snowbird, Utah, USA, June 18-19, 2001 /
  20. 20
    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 /

Search Tools: