Computer programs can be proved correct

von London, Ralph L.
Veröffentlicht in Theoretical approaches to non-numerical problem solving (1970)

Bibliography on proving the correctness of computer programs : addition no. 1

von London, Ralph L.
Veröffentlicht 1970

Abstraction and verification in alphard : Iteration and generators

von London, Ralph L
Veröffentlicht 1976

Abstraction and verification in alphard : a symbol table example

von London, Ralph L.
Veröffentlicht 1976

Abstraction and verification in alphard : A symbol table example

von London, Ralph L.
Veröffentlicht 1976

Abstraction and verification in alphard : iteration and generators

von Shaw, Mary
Veröffentlicht 1976

An informal definition of alphard : Preliminary

von Hilfinger, Paul
Veröffentlicht 1978