مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Planning Proofs of Equations in CCS

Author/Authors :

Ra?l Monroy، نويسنده , , Alan Bundy and Ian Green ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2000

Pages :

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 :