An Introduction to the Construction and Verification of Alphard Programs

Wulf, William A.; London, Ralph L.; Shaw, Mary

doi:10.1184/R1/6621065.v1

File(s) stored somewhere else

http://www.cs.cmu.edu/~Compose/VerificationofAlphard1976.pdf

Please note: Linked content is NOT stored on Carnegie Mellon University and we can't guarantee its availability, quality, security or accept any liability.

An Introduction to the Construction and Verification of Alphard Programs

journal contribution

posted on 1976-12-01, 00:00 authored by William A. Wulf, Ralph L. London, Mary Shaw

Institute for Software Research

History

Date

1976-12-01

Usage metrics

Keywords

Software Research

Licence

In Copyright

File(s) stored somewhere else

An Introduction to the Construction and Verification of Alphard Programs

History

Date

Usage metrics

Categories

Keywords

Licence

Exports