A logic verifier based on Boolean comparison

Publisher Website

1 January 1986

proceedings article
Published by Association for Computing Machinery (ACM)

p. 208-214
https://doi.org/10.1145/318013.318046

Abstract

No abstract available

Cited by 11 articles