共 50 条
- [33] BIRATIONAL INVARIANTS VIA COHOMOLOGY THEORIES COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1992, 315 (12): : 1259 - 1262
- [37] Analyzing Mutable Checkpointing via Invariants FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2015, 2015, 9392 : 176 - 190