Home Advanced Search

Advanced Search - Page 1

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Pamela Zave (auth.), Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.)
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Pamela Zave (auth.), Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.)
search