共 50 条
- [35] The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging TESTS AND PROOFS, TAP 2011, 2011, 6706 : 78 - 83
- [37] The research and development program for the SNAP dark energy experiment NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2007, 572 (01): : 521 - 525
- [39] Acceptable substitutes list expanded under SNAP program Air Pollution Consultant, 1997, 7 (03):