Rule-based Verification of Network Protocol Implementations using Symbolic Execution

By admin , 26 March 2016
Attachment
Projects
SymNV
Short series title
ICCCN’11