34 results Refine Results
  1. 1
    Published 1988
    Book
    Save to List
    Saved in:
    VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
  2. 2
    Published 1987
    Book
    Save to List
    Saved in:
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings /
  3. 3
    Published 1987
    Book
    Save to List
    Saved in:
    System development and Ada /
  4. 4
    Published 1987
    Book
    Save to List
    Saved in:
    TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 /
  5. 5
    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 /
  6. 6
    Published 1989
    Book
    Save to List
    Saved in:
    Algebraic methods : theory, tools, and applications /
  7. 7
    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 /
  8. 8
    Published 1991
    Book
    Save to List
    Saved in:
    Algebraic methods II : theory, tools, and applications /
  9. 9
    Published 1991
    Book
    Save to List
    Saved in:
    Software development environments and CASE technology : European symposium, Konigswinter, FRG, June 17-19, 1991 proceedings /
  10. 10
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 /
  11. 11
    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 /
  12. 12
    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 /
  13. 13
    Published 1990
    Book
    Save to List
    Saved in:
    VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings /
  14. 14
    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 /
  15. 15
    Published 1991
    Book
    Save to List
    Saved in:
    VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /
  16. 16
    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 /
  17. 17
    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 /
  18. 18
    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 /
  19. 19
    Published 1995
    Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /
  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: