Developing correct, distributed, adaptive software

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
January 2015
PDF DOI
Type
Journal article
Publication
Sci. Comput. Program.