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