Artifact Details

Title

AFFIRM collected papers

Catalog Number

102723056

Type

Text

Date

1981-02-19

Author

Erickson, Roddy W.

Publisher

USC/Information Sciences Institute

Extent

9 p.

Description

Corresponds to AFFIRM Version 1.21
Collected Papers - A collection of articles authored by members of the ISI Program Verification Project (past and present), as well ass an annotated bibliography of recent papers relevant to our work.

Category

Reference Guide

Collection Title

David Musser collection

Credit

Gift of David Musser

Lot Number

X6098.2011