Author:
Hortalá-González M.Teresa,Rodríguez-Artalejo Mario
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. Completeness problem in verification of programs and programs schemes;Andréka,1979
2. A characterization of Floyd's provable programs;Andréka,1981
3. A complete logic for reasoning about programs via nonstandard model theory, Parts I–II;Andréka;Theoret. Comput. Sci.,1982
4. A complete logic for reasoning about programs via nonstandard model theory, Parts I–II;Andréka;Theoret. Comput. Sci.,1982
5. Ten years of Hoare's logic: A survey. Part II: Nondeterminism;Apt;Theoret. Comput. Sci.,1984