Developing correct, distributed, adaptive software

Publication
Sci. Comput. Program.