Languages

An Automatic Program Verifier for PointerC: Design and Implementation

TitleAn Automatic Program Verifier for PointerC: Design and Implementation
Publication TypeJournal Article
Year of Publication2013
AuthorsZhang Z, Li Z, Chen Y, Liu G
JournalJournal of Computer Research and Development
Volume50(5)
Start Page1044-1054