Rule-based static analysis of network protocol implementations

TitleRule-based static analysis of network protocol implementations
Publication TypeJournal Articles
Year of Publication2008
AuthorsUdrea O, Lumezanu C, Foster JS
JournalInformation and Computation
Volume206
Issue2
Pagination130 - 157
Date Published2008///