Εμφανίζονται 1 - 8 Αποτελέσματα από 8 για την αναζήτηση 'Hähnle, Reiner', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Deductive Software Verification – The KeY Book From Theory to Practice /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Hähnle, Reiner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email