Nadya Tareb, Yves Kodratoff. Synthesis of Specifications from Programs. In Ernst Buchberger, Johannes Retti, editors, 3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987. Volume 151 of Informatik-Fachberichte, pages 157-167, Springer, 1987.
@inproceedings{TarebK87:0,
title = {Synthesis of Specifications from Programs},
author = {Nadya Tareb and Yves Kodratoff},
year = {1987},
researchr = {https://researchr.org/publication/TarebK87%3A0},
cites = {0},
citedby = {0},
pages = {157-167},
booktitle = {3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987},
editor = {Ernst Buchberger and Johannes Retti},
volume = {151},
series = {Informatik-Fachberichte},
publisher = {Springer},
}