Extending CADP for analyzing C code

TitleExtending CADP for analyzing C code
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo M-del-M, Merino P, Sanán D
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