1 search result for "author:"Shengyi Wang""

Showing 1 - 1
  1. coq-vst-iris

    No documentation

    Verified Software Toolchain with Iris
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2023-01-24
    William Mansky Shengyi Wang
    2.11.1
    https://raw.githubusercontent.com/PrincetonUniversity/VST/master/LICENSE
    Used by 0 other packages
    25 Jan 2023