@inproceedings{DBLP:conf/ictcs/Nicola14, author = {Rocco {De Nicola}}, editor = {Stefano Bistarelli and Andrea Formisano}, title = {A formal approach to autonomic systems programming: the {SCEL} language}, booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1231}, pages = {1}, publisher = {CEUR-WS.org}, year = {2014}, url = {http://ceur-ws.org/Vol-1231/invited1.pdf}, timestamp = {Wed, 12 Feb 2020 16:44:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/Nicola14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }