共 50 条
- [22] Aliasing Restrictions of C11 Formalized in Coq CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 50 - 65
- [27] STUDIES OF ELECTROMAGNETIC TRANSITIONS IN B11 AND C11 PHYSICAL REVIEW, 1965, 139 (3B): : B512 - +
- [30] A Program Logic for C11 Memory Fences VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 413 - 430