Publications
Projects
login
About
login:
password:
Forgot your password?
Hoare Logic, Executable Specifications and Logic Programs.
Hoare Logic, Executable Specifications and Logic Programs.
Publication type:
article
Authors:
Norbert E. Fuchs
Title:
Hoare Logic, Executable Specifications and Logic Programs.
Year:
1992
journal:
Structured Programming
volume:
13
number:
3
actions
