Memoised Garbage Collection for Software Model Checking.

Viet Yen Nguyen, Theo C. Ruys

Browse the full TACAS paper archive.