Showing 1 - 9 results of 9 for search 'Havelund, Klaus', query time: 0.04s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Published 2014
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Published 2000
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published 2015
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    Published 2008
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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 /
    Published 2006
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
    Published 2018
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
    Published 2011
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Published 2010
    Other Authors: “…Havelund, Klaus…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    by Barringer, Howard
    Published 2010
    Other Authors: “…Havelund, Klaus…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search