CNR Institutional Research Information System

Proceedings of the Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017

Proceedings Fifth International Workshop on Verification and Program Transformation

Maurizio Proietti
2017

Abstract

Proceedings of the Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017
2017
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Inglese
Program Verification
Program Transformation
1
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Alexei Lisitsa; Andrei P. Nemytykh; Maurizio Proietti
284
info:eu-repo/semantics/other
none
04.08 Curatela di Atti di 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/20.500.14243/339072
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact