Model Checking C Programs with Dynamic Memory Allocation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María-del-Mar Gallardo, Pedro Merino, David Sanán. Model Checking C Programs with Dynamic Memory Allocation. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. pages 219-226, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'María-del-Mar Gallardo' in GoogleThis author has not been identified. Look up 'Pedro Merino' in GoogleThis author has not been identified. Look up 'David Sanán' in Google

runs on WebDSL