Proceedings Seventh International Workshop on Verification and Program Transformation

08/16/2019
by   Alexei Lisitsa, et al.
0

This volume contains a final and revised selection of papers presented at the Seventh International Workshop on Verification and Program Transformation (VPT 2019), which took place in Genova, Italy, on April 2nd, 2019, affiliated with Programming 2019.

READ FULL TEXT
research
08/23/2017

Proceedings Fifth International Workshop on Verification and Program Transformation

This volume contains the proceedings of the Fifth International Workshop...
research
10/30/2019

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

The fourth edition of the international workshop on Causation, Responsib...
research
05/23/2022

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications

This volume contains a selection of papers presented at the 17th Interna...
research
09/05/2021

Proceedings of the 9th International Workshop on Verification and Program Transformation

The previous VPT 2020 workshop was organized in honour of Professor Albe...
research
04/28/2017

Proceedings of the 3rd International Workshop on Overlay Architectures for FPGAs (OLAF 2017)

The 3rd International Workshop on Overlay Architectures for FPGAs (OLAF ...
research
05/26/2016

Proceedings of the 2nd International Workshop on Overlay Architectures for FPGAs (OLAF 2016)

The 2nd International Workshop on Overlay Architectures for FPGAs (OLAF ...

Please sign up or login with your details

Forgot password? Click here to reset