Login / Signup

Model Checking C Programs with Dynamic Memory Allocation.

María-del-Mar GallardoPedro MerinoDavid Sanán
Published in: COMPSAC (2008)
Keyphrases