Showing 1 - 3 results of 3 for search 'Müller-Olm, Markus', query time: 0.01s Refine Results
  1. 1
    Variations on Constants Flow Analysis of Sequential and Parallel Programs
    by Müller-Olm, Markus
    Published in Springer e-books (2006)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Other Authors: “...Müller-Olm, Markus...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Other Authors: “...Müller-Olm, Markus...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed