Enn Tyugu. Towards Practical Synthesis of Programs. In IFIP Congress. pages 207-219, 1980.
@inproceedings{Tyugu80,
title = {Towards Practical Synthesis of Programs},
author = {Enn Tyugu},
year = {1980},
researchr = {https://researchr.org/publication/Tyugu80},
cites = {0},
citedby = {0},
pages = {207-219},
booktitle = {IFIP Congress},
}