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