IRIS

De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2013). Verification of imperative programs through transformation of constraint logic programs. In VPT 2013. First International Workshop on Verification and Program Transformation (pp.30-41). Saint Petersburg.

Verification of imperative programs through transformation of constraint logic programs

PETTOROSSI, ALBERTO;
2013-01-01
First International Workshop on Verification and Program Transformation (VPT)
Saint Petersburg, Russia
2013
1
A. Lisitsa, A. Nemytykh
Rilevanza internazionale
su invito
2013
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Intervento a convegno
De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2013). Verification of imperative programs through transformation of constraint logic programs. In VPT 2013. First International Workshop on Verification and Program Transformation (pp.30-41). Saint Petersburg.
De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
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/76527
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact