Software Preservation Group

Sections

Home
Projects
Forums
Wiki
Meetings
About Us
Can you help?

Personal tools

You are here: Home → Projects → Program Verification → AFFIRM → Documentation → Roddy W. Erickson, editor. AFFIRM Collected Papers [bibliography only]. February 19, 1981.

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?

Document Actions

Roddy W. Erickson, editor. AFFIRM Collected Papers [bibliography only]. February 19, 1981.

by Paul McJones — last modified 2011-01-19 17:38

Roddy W. Erickson, editor. AFFIRM Collected Papers [bibliography only]. Version 2.0 (AFFIRM Version 1.21), USC Information Sciences Institute, February 19, 1981.

Click here to get the file

Size 652.3 kB - File type application/pdf

This site conforms to the following standards:

Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser