IRIS

Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V. (2010). Program specialization for verifying infinite state systems: an experimental evaluation. In Logic-Based Synthesis and Transformation (LOPSTR 2010) (pp.164-183). Springer Verlag.

Program specialization for verifying infinite state systems: an experimental evaluation

PETTOROSSI, ALBERTO;SENNI, VALERIO
2010-01-01
20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010)
Hagenberg, Austria
2010
20
Rilevanza internazionale
contributo
2010
2010
Settore INF/01 - INFORMATICA
Settore ING-IND/05 - IMPIANTI E SISTEMI AEROSPAZIALI
English
Program transformation; logic programming
Intervento a convegno
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V. (2010). Program specialization for verifying infinite state systems: an experimental evaluation. In Logic-Based Synthesis and Transformation (LOPSTR 2010) (pp.164-183). Springer Verlag.
Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
02 - Intervento a convegno
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/18896
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact