Runtime Checking for Separation Logic

by Huu Hai Nguyen , Viktor Kuncak , Wei-ngan Chin
Citations:10 - 1 self