共 50 条
- [32] What's decidable about arrays? VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 427 - 442
- [37] What's new about outsourcing? CHALLENGES TO THE GLOBAL TRADING SYSTEM: ADJUSTMENT TO GLOBALIZATION IN THE ASIA-PACIFIC REGION, 2007, : 115 - 130
- [40] What's Decidable about Sequences? AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 128 - 142