Book contents
3 - Models and Correctness
Published online by Cambridge University Press: 24 October 2009
Summary

- Type
- Chapter
- Information
- Deductive and Declarative Programming , pp. 33 - 46Publisher: Cambridge University PressPrint publication year: 1992