Home » Publication » 13942

Dettaglio pubblicazione

2008, Proceedings of the Forum on Specification & Design Languages, Pages 142-147

A contract-based formalism for the specification of heterogeneous systems (04b Atto di convegno in volume)

BENVENUTI Luca, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis

ISBN: 9781424422647, 97...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma