Title of article
Planning Proofs of Equations in CCS
Author/Authors
Ra?l Monroy، نويسنده , , Alan Bundy and Ian Green ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
42
From page
263
To page
304
Keywords
CCS , Program verification , formal methods , Theorem provers , Automated reasoning
Journal title
Automated Software Engineering
Serial Year
2000
Journal title
Automated Software Engineering
Record number
307072
Link To Document