UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Weakest Precondition for General Recursive Programs Formalized in Coq.

Zhang, X; Munro, M; Harman, M; Hu, L; (2002) Weakest Precondition for General Recursive Programs Formalized in Coq. In: Carreño, V and Muñoz, CA and Tahar, S, (eds.) (pp. pp. 332-348). Springer

Full text not available from this repository.
Type: Proceedings paper
Title: Weakest Precondition for General Recursive Programs Formalized in Coq.
ISBN: 3-540-44039-9
Publisher version: https://doi.org/10.1007/3-540-45685-6
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1302035
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item