ETAPS 2013 Submissions

We invite the reviewers to consider the difference between our submissions to ESOP 2013 and TACAS 2013: