Using VDM with Rely and Guarantee-Conditions: Experiences from a Real Project

Jim Woodcock, B. Dickinson

Research output: Contribution to conferencePaperpeer-review

Original languageUndefined/Unknown
Pages434-458
Publication statusPublished - 1988

Cite this