From Informal Requirements to Property-Driven Formal Validation / Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano. - 5596:(2008), pp. 166-181. (Intervento presentato al convegno FMICS 2008 tenutosi a L’Aquila, Italy nel 15/09/2008 - 16/09/2008) [10.1007/978-3-642-03240-0_15].
From Informal Requirements to Property-Driven Formal Validation
Alessandro Cimatti;Marco Roveri;Angelo Susi;Stefano Tonetta
2008-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione