@article{Dalla_Preda_2015,
    doi = {10.1016/j.scico.2013.11.019},
    url = {https://doi.org/10.1016%2Fj.scico.2013.11.019},
    year = {2015},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {97},
    pages = {41--46},
    author = {Mila Dalla Preda and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro},
    title = {Developing correct, distributed, adaptive software},
    journal = {Science of Computer Programming}
}

@article{Dalla_Preda_2015, doi = {10.1016/j.scico.2013.11.019}, url = {https://doi.org/10.1016%2Fj.scico.2013.11.019}, year = {2015}, month = {jan}, publisher = {Elsevier {BV}}, volume = {97}, pages = {41--46}, author = {Mila Dalla Preda and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro}, title = {Developing correct, distributed, adaptive software}, journal = {Science of Computer Programming} }