Showing 1 - 1 results of 1 for search 'Zhao, Qiyuan', query time: 0.02s Refine Results
  1. 1
    Mechanised Hypersafety Proofs about Structured Data

    Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

    Published 2024
    Get full text
    Article

Search Tools: