42 results Refine Results
  1. 1
    Published 1983
    Conference Proceeding Book
    Save to List
    Saved in:
    Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /
  2. 2
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
  3. 3
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  4. 4
    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 /
  5. 5
    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 /
  6. 6
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings /
  7. 7
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 /
  8. 8
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Theoretical aspects of computer software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings /
  9. 9
    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 /
  10. 10
    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 /
  11. 11
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
  12. 12
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /
  13. 13
    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 /
  14. 14
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings /
  15. 15
    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 /
  16. 16
    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 /
  17. 17
    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 /
  18. 18
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Reliable software technologies, Ada-Europe '96 : Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /
  19. 19
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings /
  20. 20
    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 /

Search Tools: