Integrating formal methods with model-driven development techniques / A. Gargantini, E. Riccobene, P. Scandurra - In: WADT 2008 : preliminary proceedings : 19. International workshop on algebraic development techniques / [a cura di] A. Corradini, F. Gadducci. - Pisa : [Università di Pisa, Dipartimento di Informatica], 2008. - pp. 50-52 (( Intervento presentato al 19. convegno International Workshop on Algebraic Development Techniques (WADT) tenutosi a Pisa nel 2008.
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
TR-08-15.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
1.59 MB
Formato
Adobe PDF
|
1.59 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.