Jump to Navigation

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

TitleModel checking software with well-defined APIS: the socket case
Publication TypeJournal Article
Year of Publication2005
Authorsde la Cámara, P., P. Merino, M-del-M. Gallardo, and D. Sanán
JournalEASST Newsletters
Volume11
Pagination31–34
Date Publishedfeb
PublisherEuropean Association of Software Science and Technology


Main menu 2

Biblio | by Dr. Radut