IIT Home Page CNR Home Page

A collaborative framework for generating probabilistic contracts

CTS 2013, San Diego, USA, 2013

Autori esterni: Alessandro Aldini (Dip. Scienze di Base e Fondamenti, Università di Urbino Carlo Bo)
Autori IIT:

Daniele Sgandurra

Foto di Daniele Sgandurra

Tipo: Articolo in Atti di convegno internazionale con referee
Area di disciplina: Computer Science & Engineering