Jump to Navigation

Towards model checking C code with OPEN/CAESAR

TitleTowards model checking C code with OPEN/CAESAR
Publication TypeConference Paper
Year of Publication2006
AuthorsGallardo, M-del-M., P. Merino, and D. Sanán
Conference NameJoseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May
Date Publishednov
PublisherINSTICC Press
Conference LocationPortugal
ISBN Number972-8865-49-8

Main menu 2

Biblio | by Dr. Radut