E. W. Dijkstra profile picture

E. W. Dijkstra

Formal Development of Programs and Proofs