Formal ReSpecT
 |
 |
@inproceedings{respect-agp00,
author = {Omicini, Andrea and Denti, Enrico},
booktitle = {Proceedings of the GULP-PRODE Joint Conference on Declarative Programming (AGP'00) – La Habana, Cuba, December 4-7, 2000},
location = {La Habana, Cuba},
numpages = 16,
title = {Formal {{\sf ReSpecT}}},
year = 2000
}
author = {Omicini, Andrea and Denti, Enrico},
booktitle = {Proceedings of the GULP-PRODE Joint Conference on Declarative Programming (AGP'00) – La Habana, Cuba, December 4-7, 2000},
location = {La Habana, Cuba},
numpages = 16,
title = {Formal {{\sf ReSpecT}}},
year = 2000
}