Author:
Gerth Rob,De Roever Willem P
Reference29 articles.
1. The Programming Language ADA Reference Manual;ADA,1983
2. Concepts and notations for concurrent programming;Andrews;ACM Comput. Surveys,1983
3. Ten years of Hoare's logic: A survey—Part I;Apt;TOPLAS,1981
4. Ten years of Hoare's logic: A survey—Part II: Nondeterminism;Apt,1982
5. A proof system for communicating sequential processes;Apt;TOPLAS,1980
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. A Bibliography of Willem-Paul de Roever;Concurrency, Compositionality, and Correctness;2010
3. A Complete Guide to the Future;Programming Languages and Systems;2007
4. Rob Tristan Gerth: 1956–2003;Computer Aided Verification;2004
5. Task dependence and termination in Ada;ACM Transactions on Software Engineering and Methodology;1997-01