Xiong, H and Curzon, P and Tahar, S and Blandford, A (2002) Formally Linking MDG and HOL based on a Verified MDG System. In: Butler, M and Petre, L and Sere, K, (eds.) Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002: Proceedings. (pp. 205 - 224). Springer-Verlag: Berlin/Heidelberg, Germany.
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Formally Linking MDG and HOL based on a Verified MDG System |
| ISBN: | 3540437037 |
| DOI: | 10.1007/3-540-47884-1_12 |
| Publisher version: | http://dx.doi.org/10.1007/3-540-47884-1_12 |
| Keywords: | METHODS, Methods |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record