共 50 条
- [22] Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects 2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021), 2021, : 329 - 339
- [26] Equivalence of the four versions of Tsallis's statistics JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2005, : 1 - 14