An Investigation of Executable Specification Languages for the IPTES Mini-specifications (1991)

Cached

Download Links

by Peter Gorm Larsen