Cornelis A. Middelburg
3 published titles
Logic and specifiction : extending VDM-SL for advanced formal specification
1 edition
- ISBN: 0412486806
- Chapman & Hall Computing
- 1993
- Details
Semantics of specification languages (SoSL) : proceedings of the international workshop on semantics of specifiction languages, Utrecht, the Netherlands, 25-27 October 1993
(Contributor)
1 edition
- ISBN: 3540198547
- Springer published
- 1994
- Details
Notations for software design
(Contributor)
1 edition
- ISBN: 3540199020
- Springer-Verlag
- 1994
- Details
