External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Overview of AFFIRM: A Specification and Verification System

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile. An Overview of AFFIRM: A Specification and Verification System. In IFIP Congress. pages 343-347, 1980.

Authors

Susan L. Gerhart

This author has not been identified. Look up 'Susan L. Gerhart' in Google

David R. Musser

This author has not been identified. Look up 'David R. Musser' in Google

David H. Thompson

This author has not been identified. Look up 'David H. Thompson' in Google

D. A. Baker

This author has not been identified. Look up 'D. A. Baker' in Google

R. L. Bates

This author has not been identified. Look up 'R. L. Bates' in Google

Roddy W. Erickson

This author has not been identified. Look up 'Roddy W. Erickson' in Google

R. L. London

This author has not been identified. Look up 'R. L. London' in Google

D. G. Taylor

This author has not been identified. Look up 'D. G. Taylor' in Google

David S. Wile

This author has not been identified. Look up 'David S. Wile' in Google
runs on