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 |
Externí odkaz: |
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 |
Externí odkaz: |