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 metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
