Vol-2986⫷ Vol-2987 ⫸Vol-2988
urn:nbn:de:0074-2987-0


Vol-2987/paper15⫷Vol-2987/paper16⫸Vol-2987/paper17

Reverse engineering with P-stable Abstractions