9 results Refine Results
  1. 1
    Published 2006
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
  2. 2
    Published 2005
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
  3. 3
    Published 2008
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
  4. 4
    Published 2007
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
  5. 5
    Published 2005
    Subjects “...Computer software Development Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
  6. 6
    Published 2006
    Subjects “...Computer software Development Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
  7. 7
    Published 2008
    Subjects “...Computer software Development Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FM 2008: formal methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
  8. 8
    Published 2005
    Subjects “...Computer software Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Quality of software architectures and software quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings /
  9. 9
    Published 2005
    Subjects “...Computer software Congresses....”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures /

Search Tools: