Login / Signup
Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015.
Published in:
VPT@ETAPS (2015)
Keyphrases
</>
international workshop
united kingdom
united states
domain driven data mining
revised selected papers
keynote address
lecture notes in artificial intelligence
computer science education
north america
selected papers
pacific rim
united states of america
acm sigkdd
recent advances