Daniel Kroening

Daniel Kroening (born 6 November 1975) is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Kroening, Daniel', query time: 0.02s Refine Results
  1. 1
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel
    Published in Springer eBooks (2008)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published in Springer eBooks (2015)
    Other Authors: “...Kroening, Daniel...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Other Authors: “...Kroening, Daniel...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Other Authors: “...Kroening, Daniel...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Validation of Evolving Software
    Published in Springer eBooks (2015)
    Other Authors: “...Kroening, Daniel...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed