Developing logic programs from specifications using stepwise refinement
Date
2004
Authors
Colvin, R.
Groves, L.
Hayes, I.
Hemer, D.
Nickson, R.
Strooper, P.
Editors
Bruynooghe, M.
Lau, K.
Lau, K.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Book chapter
Citation
Program Development in Computational Logic, 2004 / Bruynooghe, M., Lau, K. (ed./s), pp.66-89