| Original language | English (US) |
|---|---|
| Title of host publication | Formal models and semantics |
| Editors | J. van Leeuwen |
| Publisher | Elsevier |
| Pages | 843-993 |
| State | Published - 1990 |
Publication series
| Name | Handbook of Theoretical Computer Science |
|---|---|
| Volume | B |
Methods and logics for proving programs
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review