Dieter Armbruster. A Polynomial Determination of the Most Recent Property in Pascal-Like Programs. In Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA. pages 648-653, IEEE Computer Society, 1986.
No references recorded for this publication.
No citations of this publication recorded.