A complete logic for reasoning about programs via nonstandard model theory I
- 28 February 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 17 (2), 193-212
- https://doi.org/10.1016/0304-3975(82)90004-4
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Programs and program verifications in a general settingTheoretical Computer Science, 1981
- Applying modal logicStudia Logica, 1980
- On some classes of interpretationsJournal of Computer and System Sciences, 1978