2013

Transforming Undecidable Synthesis Problems into Decidable Problems

Tags

Workshop

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

Date published

2013

Date last modified

2018-02-23 14:17:57

Authors

Download