Posted in category "- 文献阅读"

All / - 文献阅读 Category

10-09

Computation & Programs

09-09

A Correctness and Incorrectness Program Logic

07-27

Separation Logic Review

07-19

A Quantum Interpretation of Bunched Logic And Quantum Separation Logic

06-03

Algorithms for Dynamic Geometric Problems over Data Streams

06-03

Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification

06-03

Quantum Loop Programs and Verification of Quantum Programs