The following pages link to (Q4287760):
Displaying 10 items.
- VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Q1188528) (← links)
- VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings (Q1188662) (← links)
- A formal semantics of data flow diagrams (Q1346602) (← links)
- Vienna development method: An informal introduction (Q1817110) (← links)
- Formal specification is an experimental science (Q1817111) (← links)
- The transition from VDL to VDM (Q2755063) (← links)
- Ten years of historical development ``bootstrapping'' VDMTools (Q2755067) (← links)
- Formal methods in software development Z, B and VDM: comparison analysis (Q2819047) (← links)
- Towards constructive program derivation in VDM (Q3976056) (← links)
- (Q5286634) (← links)