Proceedings Fifth International Workshop on Verification and Program Transformation

Curatela
Data di Pubblicazione:
2017
Abstract:
Proceedings of the Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Program Verification; Program Transformation
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/339072
Pubblicato in:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Journal