Automation for interactive proof: First prototype
Date
2006
Authors
Meng, Jia
Quigley, Claire
Paulson, Lawrence C.
Journal Title
Journal ISSN
Volume Title
Publisher
Academic Press
Abstract
Description
Keywords
Citation
Collections
Source
Information and Computation
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description