Searching for "Structuring for the VDM Specification Language." – sorted by Relevance.
-
Specification of Interfering Programs based on Inter-conditions
- called VVSL, for VIP VDM Specification Language. VVSL is a language for modularly structured
- Cited by 2 (2 self) – Add To MetaCart
-
Annotated Z Bibliography
- -fertilization and comparisons between the two: [26] Bera. Structuring for the VDM specification language, in response to the Z
- Add To MetaCart
-
Annotated Z Bibliography Jonathan Bowen
- -fertilization and comparisons between the two: [26] Bera. Structuring for the VDM specification language, in response to the Z
- Add To MetaCart
-
Select Z Bibliography
- . Meyer. Specification language. In R. M. McKeag and A. M. Macnaghten, editors, On the Construction
- Add To MetaCart

