E. W. Dijkstra profile picture

E. W. Dijkstra

Stand Alone

Formal Development of Programs and Proofs
E. W. Dijkstra — Books & Biography | Menrva Books | MenrvaBooks