VPT 2013. First International Workshop on Verification and Program Transformation

10 articles87 pagesPublished: July 25, 2013

Papers

Pages 1-8
Page 9
Pages 10-12
Pages 13-14
Page 15
Pages 16-29
Pages 30-41
Pages 42-56
Pages 57-73
Pages 74-87

Keyphrases