Article thumbnail

Erratum to “Automation for interactive proof: First prototype” [Inform. and Comput. 204 (2006) 1575–1596]

By Jia Meng, Claire Quigley and Lawrence C. Paulson
Publisher: Elsevier Inc.
Year: 2006
DOI identifier: 10.1016/j.ic.2006.09.004
OAI identifier:

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.