共 50 条
- [6] Understanding municipal greenhouse gas emissions: A data-driven approach [J]. 2016 INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION/IEEE LNTERNATIONAL TECHNOLOGY MANAGEMENT CONFERENCE (ICE/ITMC), 2016,
- [7] A Novel Data-Driven Approach for Generating Verified Loop Invariants [J]. 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, : 9 - 16