Rocco De Nicola. A formal approach to autonomic systems programming: the SCEL language. In Stefano Bistarelli, Andrea Formisano, editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Volume 1231 of CEUR Workshop Proceedings, pages 1, CEUR-WS.org, 2014. [doi]
@inproceedings{Nicola14-0,
title = {A formal approach to autonomic systems programming: the SCEL language},
author = {Rocco De Nicola},
year = {2014},
url = {http://ceur-ws.org/Vol-1231/invited1.pdf},
researchr = {https://researchr.org/publication/Nicola14-0},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014},
editor = {Stefano Bistarelli and Andrea Formisano},
volume = {1231},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}