Object Specification (0)

by H-D Ehrich
Venue:IFIP 14.3 Volume on Foundations of System Specification, Chapter