Showing 1 - 8 results of 8 for search 'Hähnle, Reiner', query time: 0.16s Refine Results
  1. 1
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
    Published 2010
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    Published 2008
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /
    Published 2018
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    Published 2007
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Published 2013
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
    Published 2014
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Deductive Software Verification – The KeY Book From Theory to Practice /
    Published 2016
    Other Authors: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search