View of SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk

Return to Article Details SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk Download Download PDF