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 Publication2007
AuthorsGallardo, M-del-M., C. Joubert, P. Merino, and D. Sanán
Conference NameDragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings
Date Publishednov
PublisherSpringer
Conference LocationBerlin
ISBN Number3-540-73369-8


Main menu 2

Biblio | by Dr. Radut