Jump to Navigation

A Model-extraction approach to verifying concurrent C programs with CADP

TitleA Model-extraction approach to verifying concurrent C programs with CADP
Publication TypeJournal Article
Year of Publication2012
AuthorsGallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán
JournalScience of Computer Programming
Volume77
Pagination375–392
PublisherElsevier
ISSN0167-6423


Main menu 2

Biblio | by Dr. Radut