Other formats:
BibTeX
LaTeX
RIS
@inproceedings{232692, author = {Zlatuška, Jiří and Gilbert, David and Hogger, Chris}, address = {Hamburg}, booktitle = {Logic Program Synthesis and Transformation}, edition = {1.}, language = {eng}, location = {Hamburg}, isbn = {3-540-58792-6}, pages = {93-98}, publisher = {Springer}, title = {From specifications to programs}, year = {1994} }
TY - JOUR ID - 232692 AU - Zlatuška, Jiří - Gilbert, David - Hogger, Chris PY - 1994 TI - From specifications to programs VL - LNCS 883 PB - Springer CY - Hamburg SN - 3540587926 ER -
ZLATUŠKA, Jiří. From specifications to programs. In GILBERT, David and Chris HOGGER. \textit{Logic Program Synthesis and Transformation}. 1st ed. Hamburg: Springer, 1994, p.~93-98. LNCS 883. ISBN~3-540-58792-6.
|