共 50 条
- [34] η-invariants and the Poincare-Hopf index formula GEOMETRY AND TOPOLOGY OF SUBMANIFOLDS X: DIFFERENTIAL GEOMETRY IN HONOR OF PROF S.S. CHERN, 2000, : 336 - 345
- [36] Formula Slicing: Inductive Invariants from Preconditions HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, HVC 2016, 2016, 10028 : 169 - 185
- [39] Finding Polynomial Loop Invariants for Probabilistic Programs AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 400 - 416