Not logged in.
Quick Search - Contribution
Contribution Details
| Type | Journal Article |
| Scope | Discipline-based scholarship |
| Title | Hoare Logic, Executable Specifications and Logic Programs. |
| Organization Unit | |
| Authors |
|
| Item Subtype | Original Work |
| Refereed | Yes |
| Status | Published in final form |
| Journal Title | Structured Programming |
| Geographical Reach | international |
| Volume | 13 |
| Number | 3 |
| Date | 1992 |
| PDF File |
Download
|
| Export |
BibTeX
EP3 XML (ZORA)
|