Showing 1 - 2 results of 2 for search 'Logozzo, Francesco', query time: 0.01s Refine Results
  1. 1
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Published 2013
    Other Authors: “…Logozzo, Francesco…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Published 2008
    Other Authors: “…Logozzo, Francesco…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search