A Re of the Escape Property (2002)

by P M Hill, F Spoto
Venue:Proc. of the VMCAI'02 workshop on Abstract Interpretation and Model Checking