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

Published in: VPT@ETAPS (2017)

Keyphrases

international workshop
domain driven data mining
revised selected papers
selected papers
lecture notes in artificial intelligence
symbolic execution
pacific rim
hardware designs
model checking
artificial intelligence
recent advances
acm sigkdd
neural network
data mining
test cases