Login / Signup
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016.
Published in:
VPT@ETAPS (2016)
Keyphrases
</>
international workshop
domain driven data mining
pacific rim
lecture notes in artificial intelligence
acm sigkdd
selected papers
revised selected papers
hardware designs
symbolic execution
databases
cooperative
genetic algorithm
model checking
static analysis