Model Checking C Programs with Dynamic Memory Allocation | Publicación