Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Weakest Precondition for General Recursive Programs Formalized in Coq

Zhang, Xingyuan and Munro, Malcolm and Harman, Mark and Hu, Lin (2002) Weakest Precondition for General Recursive Programs Formalized in Coq. In: 15<sup>th</sup> International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002).

Full text not available from this repository.


Item Type:Conference or Workshop Item (UNSPECIFIED)
Additional Information:LNCS 2410
Subjects:UNSPECIFIED
ID Code:423
Deposited By:Prof Mark Harman
Deposited On:01 Nov 2007 17:22
Last Modified:01 Nov 2007 20:07

Repository Staff Only: item control page