Hajnal Andréka, István Németi, Ildikó Sain. A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II. Theoretical Computer Science, 17:259-278, 1982.
No references recorded for this publication.
No citations of this publication recorded.