Contents
- Modelling principles
- Alloy analyzer
 - B-method
 - OWL-DL
 - VDM
 - Z
 
 - Model of Waste Management System
 - NoWasteNoWant Firm
 
    This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.