Abstract Data Type Specification in the AFFIRM system. To appear (0)

by D L Musser
Venue:IEEE Transactions on Software Engineering