Jump to Navigation

Model checking software with well-defined APIs: the socket case

TitleModel checking software with well-defined APIs: the socket case
Publication TypeConference Paper
Year of Publication2005
Authorsde la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán
Conference NameProceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, FMICS’05
Date Publishedoct
PublisherACM
Conference LocationNew York
ISBN Number1-59593-148-1


Main menu 2

Biblio | by Dr. Radut