TitleAFFIRM type library
AuthorGerhart, Susan L.
PublisherUSC/Information Sciences Institute
Extentii, 63 p.
Corresponds to AFFIRM Version 1.21
Type Library - A listing of several abstract data types developed and used by the ISI Program Verification Project. The date type specifications are maintained in machine-readable form as an integral part of the system.