TitleAFFIRM collected papers
Erickson, Roddy W.
USC/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.