Login / Signup

Practical memory leak detector based on parameterized procedural summaries.

Yungbum JungKwangkeun Yi
Published in: ISMM (2008)
Keyphrases