The following pages link to The transition from VDL to VDM (Q2755063):
Displaying 5 items.
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Q1188528) (← links)
- (Q4287760) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)