共 50 条
- [7] Integrating Topological Proofs with Model Checking to Instrument Iterative Design FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 53 - 74
- [9] CHECKING INSTRUMENT FOR MARINE CHRONOMETERS MEASUREMENT TECHNIQUES USSR, 1983, 26 (03): : 216 - 218
- [10] STERILISATION OF LABORATORY ANIMAL DIET BY ETHYLENE OXIDE LABORATORY ANIMAL CARE, 1965, 15 (05): : 321 - +