Citation
Please, cite this work as:
[EGR94] M. Enciso, I. P. de Guzmán, and C. Rossi. “A Temporal Logic for Program Specification”. In: 1994 Joint Conference on Declarative Programming, GULP-PRODE’94 Pe~niscola, Spain, September 19-22, 1994, Volume 2. Ed. by Mar', R. Barbuti and I. Ramos. 1994, pp. 309-323.
@InProceedings{Enciso1994,
author = {Manuel Enciso and Inman P. {de Guzm{’a}n} and Carlos Rossi},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE’94 Pe{~{n}}iscola, Spain, September 19-22, 1994, Volume 2},
title = {A Temporal Logic for Program Specification},
year = {1994},
editor = {Mar'Alpuente and Roberto Barbuti and Isidro Ramos},
pages = {309–323},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/agp/EncisoGR94.bib},
timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
}