Title of article :
A shallow embedding of Z in HOL
Author/Authors :
Jonathan Bowen، نويسنده , , Mike Gordon، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1995
Pages :
8
From page :
269
To page :
276
Keywords :
mechanical verification , Z notation , formal methods. higher order logic , Theorem proving
Journal title :
Information and Software Technology
Serial Year :
1995
Journal title :
Information and Software Technology
Record number :
134320
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134320
بازگشت