Showing 1 - 1 results of 1 for search 'Attie, Paul D.', query time: 0.01s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
    Published 2003
    Other Authors: “…Attie, Paul D.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search