Showing 1 - 5 results of 5 for search 'Müller-Olm, Markus', query time: 0.02s Refine Results
  1. 1
    Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Variations on Constants Flow Analysis of Sequential and Parallel Programs /
    by Müller-Olm, Markus
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Published 2014
    Other Authors: “…Müller-Olm, Markus…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Published 2009
    Other Authors: “…Müller-Olm, Markus…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
    Published 2018
    Other Authors: “…Müller-Olm, Markus…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search