A constructive approach to the problem of program correctness 论文

1968BIT Numerical Mathematics引用 238
DOI
Parallel Computing and Optimization TechniquesDistributed and Parallel Computing SystemsEmbedded Systems Design Techniques
Parallel Computing and Optimization TechniquesDistributed and Parallel Computing SystemsEmbedded Systems Design Techniques
相关技术:Parallel Computing and Optimization Techniques
关系图谱

A constructive approach to the problem of program correctness · 作者

E

E. Dijkstra