Home Advanced Search

Advanced Search - Page 1

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
  • PDF
  • English
  • Year: 2010
  • Author: Tony Hoare (auth.), Peter Müller (eds.)
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
  • PDF
  • English
  • Year: 2010
  • Author: Tony Hoare (auth.), Peter Müller (eds.)
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
  • PDF
  • English
  • Year: 2010
  • Author: Tony Hoare (auth.), Peter Müller (eds.)
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
  • PDF
  • English
  • Year: 2010
  • Author: Tony Hoare (auth.), Peter Müller (eds.)
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Antti Huima (auth.), Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.)
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Eric Hehner (auth.), Steve Dunne, Bill Stoddart (eds.)
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)
search