Showing 1 - 2 results of 2 for search 'Logozzo, Francesco', query time: 0.02s Refine Results
  1. 1
    Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /

    Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /

    Published 2013
    Other Authors: “…Logozzo, Francesco…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Verification, model checking, and abstract interpretation 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /

    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 Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search