Specification of Abstract Data Types with Partially Defined Operations.

Toshiki Sakabe, Yasuyoshi Inagaki, Namio Honda

Browse the full ICSE paper archive.