Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Mathematical Theory of Program Correctness;de Bakker,1980
2. Some natural structures which fail to posses a sound and decidable Hoare-like logic for their while programs;Bergstra;Theoret. Comput. Sci.,1982
3. Expressiveness and the completeness of Hoare's logic;Bergstra;J. Comput. System Sci.,1982
4. Hoare's logic for programming languages with two datatypes;Bergstra;Theoret. Comput. Sci.,1984
5. The characterization problem for Hoare's logic;Clarke,1986