David de Almeida Ferreira, Alberto Rodrigues da Silva. Formally Specifying Requirements with RSL-IL. In João Pascoal Faria, Alberto Rodrigues da Silva, Ricardo Jorge Machado, editors, 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings. pages 217-220, IEEE Computer Society, 2012. [doi]
@inproceedings{FerreiraS12-0,
title = {Formally Specifying Requirements with RSL-IL},
author = {David de Almeida Ferreira and Alberto Rodrigues da Silva},
year = {2012},
doi = {10.1109/QUATIC.2012.30},
url = {http://dx.doi.org/10.1109/QUATIC.2012.30},
researchr = {https://researchr.org/publication/FerreiraS12-0},
cites = {0},
citedby = {0},
pages = {217-220},
booktitle = {8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings},
editor = {João Pascoal Faria and Alberto Rodrigues da Silva and Ricardo Jorge Machado},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4777-0},
}