Title of article
Secure mechanical verification of mutually recursive procedures
Author/Authors
Peter V. Homeier، نويسنده , , David F. Martin، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
19
From page
1
To page
19
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262188
Link To Document