共 50 条
- [2] Software system for automated data interpretation of potential fields (GMT-Auto) GEOFIZICHESKIY ZHURNAL-GEOPHYSICAL JOURNAL, 2015, 37 (01): : 42 - 52
- [7] Automated Software Winnowing 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1504 - 1511
- [8] Automated abstraction of software AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 8 - 8
- [9] Automated Software Analysis 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 18 - 18