Title
AFFIRM collected papersCatalog Number
102723056Type
DocumentDescription
Corresponds to AFFIRM Version 1.21Collected 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.