Fingerprint
Dive into the research topics of 'Program verification by reachability searching over dynamic call tree'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Program verification by reachability searching over dynamic call tree
Tu Peng*, Kai Wang
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review