The Synthesis of Loop Predicates.

Autor: Wegbreit, Ben1, Standish, T. A.
Zdroj: Communications of the ACM. Feb1974, Vol. 17 Issue 2, p102-112. 11p. 9 Diagrams.
Databáze: Business Source Ultimate