Vol-1644⫷ Vol-1645 ⫸Vol-1646
urn:nbn:de:0074-1645-0


Vol-1645/paper_16⫷Vol-1645/paper_14⫸Vol-1645/paper28

Verifying Relational Program Properties by Transforming Constrained Horn clauses