Original language | Undefined/Unknown |
---|---|
Pages | 434-458 |
Publication status | Published - 1988 |
Using VDM with Rely and Guarantee-Conditions: Experiences from a Real Project
Jim Woodcock, B. Dickinson
Research output: Contribution to conference › Paper › peer-review