Login / Signup

First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013

Published in: VPT@CAV (2013)
Keyphrases