Object Specification (1997)

Cached

Download Links

by Hans-dieter Ehrich
Venue:IFIP WG14.3 BOOK ON ALGEBRAIC FOUNDATIONS OF SYSTEMS SPECIFICATION
Citations:19 - 3 self