Original language | English |
---|---|
Pages (from-to) | 29-33 |
Number of pages | 5 |
Journal | Information Processing Letters |
Volume | 27 |
Issue number | 1 |
DOIs | |
Publication status | Published (VoR) - 15 Feb 1988 |
Keywords
- Data refinement
- specification
- weakest precondition
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 29-33 |
Number of pages | 5 |
Journal | Information Processing Letters |
Volume | 27 |
Issue number | 1 |
DOIs | |
Publication status | Published (VoR) - 15 Feb 1988 |