Title of article
Automation for interactive proof: First prototype
Author/Authors
Jia Meng، نويسنده , , Claire Quigley، نويسنده , , Lawrence C. Paulson، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
22
From page
1575
To page
1596
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262373
Link To Document