10 citations · 10 across the 1 of their papers we have counts for
1 paper
Ling Zhang, Yuting Wang, Jinhua Wu +2
Verified compilation of open modules (i.e., modules whose functionality depends on other modules) provides a foundation for end-to-end verification of modular programs ubiquitous i…