An Executable Subset of Meta-IV with Loose Specification (1991)

Cached

Download Links

by Peter Gorm Larsen , Poul Bøgh Lassen
Venue:IN VDM '91: FORMAL SOFTWARE DEVELOPMENT METHODS
Citations:25 - 10 self