Publications

Papers*

    • Programming and Verifying Component Ensembles
      R. De Nicola, A. Lluch-Lafuente, M. Loreti, A. Morichetta, R. Pugliese, V. Senni, F. Tiezzi.
      S. Bensalem et al. (Eds.): From Programs to Systems (FPS@ETAPS) 2014, LNCS 8415, pp. 69-83, Springer, 2014

Technical Reports

Presentations

Related papers


(*) The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scientific and technical contributions on a non-commercial basis. Nevertheless, copyright and all rights therein are maintained by the authors or by other copyright holders (e.g., the publisher). It is understood that all persons accessing this information will adhere to the appropriate copyright rules. In particular, these works may not be reposted without the explicit permission of the copyright holder.