Search Results - IFIP WG5.2 on Formal Design Methods for Computer-Aided Design

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Advances in formal design methods for CAD proceedings of the... held on June, 1995

    Published 1996
    “…IFIP WG5.2 on Formal Design Methods for Computer-Aided Design…”
    Click Here to View Status and Holdings.
    Book