Automatic verification of C programs with dynamic memory allocation

TitleAutomatic verification of C programs with dynamic memory allocation
Publication TypeConference Paper
Year of Publication2008
AuthorsGallardo M-del-M, Merino P, Sanán D
Conference NameLlanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio
Date Publishedjun
ISBN Number978-84-691-2813-8