Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Müller-Olm, Markus', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
    ανά Müller-Olm, Markus, Müller-Olm, Markus
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Variations on Constants Flow Analysis of Sequential and Parallel Programs /
    ανά Müller-Olm, Markus
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Müller-Olm, Markus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Müller-Olm, Markus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Müller-Olm, Markus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email