Showing 1 - 4 results of 4 for search 'Havelund, Klaus', query time: 0.02s Refine Results
  1. 1
    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
    by Havelund, Klaus
    Published in Springer e-books (2006)
    Get full text
    eBook
  2. 2
    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 in Springer eBooks (2014)
    Other Authors: “...Havelund, Klaus...”
    Get full text
    eBook
  3. 3
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Other Authors: “...Havelund, Klaus...”
    Get full text
    eBook
  4. 4
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Other Authors: “...Havelund, Klaus...”
    Get full text
    eBook
Search Tools: Get RSS Feed