On 11/24/2015 01:53 AM, Ada wrote:
> Hey guys,
>
> I am learning Formal Verification. I am reading some papers about COQ
> and HOL. Now I need a paper,as follows
> but I can't find it.
> *Could anyone help me find it,and send it to me?
Did you contact the authors. Otherwise there seems to be a
Hey guys,
I am learning Formal Verification. I am reading some papers about COQ and HOL.
Now I need a paper,as follows
but I can't find it.
*Could anyone help me find it,and send it to me?
Thanks! --Wish.
0FEC4736@46A59B65.ECB45356
Description: Binary data
--
