Home Advanced Search

Advanced Search - Page 1

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
Refinement. Semantics, Languages and Applications
  • PDF
  • english
  • Year: 2018
  • Author: John Derrick, Eerke Boiten
Refinement: Semantics, Languages and Applications
  • PDF
  • English
  • Year: 2018
  • Author: John Derrick, Eerke Boiten
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
GI — 11. Jahrestagung: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings
  • PDF
  • German
  • Year: 1981
  • Author: Robert Giegerich, Ulrich Möncke (auth.), Wilfried Brauer (eds.)
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
  • DJVU
  • English
  • Year: 1993
  • Author: Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Randal E. Bryant (auth.), Bernhard Steffen (eds.)
Code Generation — Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991
  • PDF
  • English
  • Year: 1992
  • Author: Helmut Emmelmann (auth.), Robert Giegerich, Susan L. Graham PhD (eds.)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
search