Title
AFFIRM type libraryCatalog Number
102723053Type
DocumentDescription
Version 2.0Corresponds 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.