← Catalog

Proof of a Program: FIND

Authors: Hoare, C. A. R.
Published: 1971-01
Software Engineering Models and Methods Has Notes