Verifiable Programming
Ole-Johan Dahl · CERN Document Server (European Organization for Nuclear Research) · 1992
From the Publisher: Verifiable Programming is concerned with the techniques of reasoning about program specification. The author introduces verifiability, a powerful quality criterion which has a profound influence on programming style.