a proof system for separation logic with magic wandrosaec.snu.ac.kr/meet/file/20140115f6.pdf ·...
Post on 09-Aug-2020
0 Views
Preview:
TRANSCRIPT
A Proof System for Separation Logic with Magic WandWonyeol Lee and Sungwoo Park ({leewy,gla}@postech.ac.kr)Pohang University of Science and Technology (POSTECH)
top related