Jun Sun

Latest

• A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic