Browsing by Author Cao, Qinxiang
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 21-Feb-2018 | VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs | Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W |