DMCA

Property-Guided Verification of Concurrent Heap-Manipulating Programs (2004)

by Eran Yahav , Eran Yahav
Citations:1 - 0 self