Showing 1 - 4 results of 4 for search 'Maibaum, Tom', query time: 0.02s Refine Results
  1. 1
    Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Published 2000
    Other Authors: “…Maibaum, Tom…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
    Published 2003
    Other Authors: “…Maibaum, Tom…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    Published 2008
    Other Authors: “…Maibaum, Tom…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
    Published 2008
    Other Authors: “…Maibaum, Tom…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search