1995
Program verification and Prolog
Publication
Publication
Additional Metadata | |
---|---|
Oxford University Press | |
Organisation | Logic and language |
Apt, K. (1995). Program verification and Prolog. In Specification and validation methods for programming languages and systems (pp. 55–95). Oxford University Press. |