An Axiomatic Basis for Computer Programming

C. A. R. Hoare

Language: English

Technology