- Заглавие:
A Deductive Approach to Program Synthesis
- Автор:
Manna Z.
- Язык текста:
Английский
- Сведения об источнике:
ACM Transactions on Programming Languages and Systems. – 1980. – Vol. 2, № 1. – P. 90–121.
Библиографический источник
A Deductive Approach to Program Synthesis
Z. Manna, R. Waldinger