Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi. Programming and Verifying Component Ensembles. In Saddek Bensalem, Yassine Lakhneck, Axel Legay, editors, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Volume 8415 of Lecture Notes in Computer Science, pages 69-83, Springer, 2014. [doi]
Abstract is missing.