共 50 条
- [42] Instrumenting Android and Java']Java Applications as Easy as abc RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 364 - 381
- [49] Easy predictions for the easy-hard-easy transition EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 688 - 694