Jump to Navigation

Extending CADP for analyzing C code

TitleExtending CADP for analyzing C code
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo, M-del-M., P. Merino, and D. Sanán
Conference NameJuan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June
Date Publishednov
PublisherINSTICC Press
Conference LocationPortugal
ISBN Number978-972-8865-95-5


Main menu 2

Biblio | by Dr. Radut