BIT Numerical Mathematics · 1969 · 100 citations · 2 references
ComputingComputer ScienceDistributed SystemsProgramming LanguagesComputer-supported Cooperative WorkDistributed ComputingReinforcement LearningAction Systems
2
A constructive approach to the problem of program correctness
E. Dijkstra · BIT Numerical Mathematics · 1968 · 238 citations
Proof of algorithms by general snapshots
Peter Naur · BIT Numerical Mathematics · 1966 · 150 citations