Vol-2213⫷ Vol-2214 ⫸Vol-2215
urn:nbn:de:0074-2214-0


Vol-2214/paper2⫷Vol-2214/paper3⫸Vol-2214/paper4

Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report