Jump to Navigation

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., P. Merino, and D. Sanán
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


Main menu 2

Biblio | by Dr. Radut