The OTTER environment for resolution-based proof of hardware correctness

✍ Scribed by Paolo Camurati; Tiziana Margaria; Paolo Prinetto

• Publisher: Elsevier Science
• Year: 1990
• Weight: 574 KB
• Volume: 30
• Category: Article
• ISSN: 0165-6074
• DOI: 10.1016/0165-6074(90)90277-g