Jump to Navigation

C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs

TitleC.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs
Publication TypeConference Paper
Year of Publication2006
AuthorsMerino, P., M-del-M. Gallardo, 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 Publishedfeb
PublisherINSTICC Press
Conference LocationPortugal


Main menu 2

Biblio | by Dr. Radut