TitleAFFIRM collected papers
AuthorErickson, Roddy W.
PublisherUSC/Information Sciences Institute
DescriptionCorresponds 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.