Jump to Navigation

Socketmc a tool to verify C code

TitleSocketmc a tool to verify C code
Publication TypeConference Paper
Year of Publication2005
Authorsde la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán
Conference NameActas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos.JCSD 2005. En el Congreso Español de Informática, Granada, Spain
Date Publishedoct
ISBN Number84-9732-432-3


Main menu 2

Biblio | by Dr. Radut