Showing 1 - 2 results of 2 for search 'Logozzo, Francesco', query time: 0.01s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    by Logozzo, Francesco
    Published in Springer eBooks (2008)
    Get full text
    eBook
  2. 2
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Other Authors: “...Logozzo, Francesco...”
    Get full text
    eBook
Search Tools: Get RSS Feed