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
------------------------------------------------------------------------------ Go from Idea to Many App Stores Faster with Intel(R) XDK Give your users amazing mobile app experiences with Intel(R) XDK. Use one codebase in this all-in-one HTML5 development environment. Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info