Proceedings Fifth International Workshop on Verification and Program Transformation

Edited Book
Publication Date:
2017
abstract:
Proceedings of the Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Program Verification; Program Transformation
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/339072
Published in:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Journal