Formal ReSpecT
Andrea Omicini, Enrico Denti
Declarative Programming - Selected Papers from AGP 2000, pages 179-196
Electronic Notes in Theoretical Computer Science 48, June 2001
Agostino Dovier, Maria Chiara Meo, Andrea Omicini (eds.)
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000
@article{respect-entcs48,
Author = {Omicini, Andrea and Denti, Enrico},
Doi = {10.1016/S1571-0661(04)00156-2},
Editor = {Dovier, Agostino and Meo, Maria Chiara and Omicini, Andrea},
Isbn = {0-444-50916-X},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = jun,
Note = {Declarative Programming -- Selected Papers from AGP 2000, La Habana, Cuba, 4--6~} # dec # {~2000},
Pages = {179--196},
Title = {Formal {{\sf ReSpecT}}},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066104001562},
Volume = 48,
Year = 2001}
Author = {Omicini, Andrea and Denti, Enrico},
Doi = {10.1016/S1571-0661(04)00156-2},
Editor = {Dovier, Agostino and Meo, Maria Chiara and Omicini, Andrea},
Isbn = {0-444-50916-X},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = jun,
Note = {Declarative Programming -- Selected Papers from AGP 2000, La Habana, Cuba, 4--6~} # dec # {~2000},
Pages = {179--196},
Title = {Formal {{\sf ReSpecT}}},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066104001562},
Volume = 48,
Year = 2001}