Showing 1 - 1 results of 1 for search 'Stavridou, V', query time: 0.02s Refine Results
  1. 1
    Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

    Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ T...

    Published 1992
    Other Authors: “…Stavridou, V…”
    Conference item

Search Tools: