VPT 2014. Second International Workshop on Verification and Program Transformation

9 articles111 pagesPublished: July 28, 2014

Papers

Page 1
Page 2
Pages 3-18
Pages 19-35
Pages 36-51
Pages 52-65
Pages 66-83
Pages 84-98
Pages 99-111

Keyphrases