Symbolic memory with pointers

Marek Trtík, Jan Strejček
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Automated Technology for Verification and Analysis
Springer International Publishing
Cham
Pages 380-395
2014
Note(s): symbolic execution