Showing 1 - 2 results of 2 for search 'Aagaard, Mark', query time: 0.02s Refine Results
  1. 1
    Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
    Published 2000
    Other Authors: “…Aagaard, Mark…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
    Published 2002
    Other Authors: “…Aagaard, Mark D.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search