Source code for the SECA symbolic execution engine
收藏B2FIND2026-04-29 收录
下载链接：
https://b2find.eudat.eu/dataset/437b62fd-8d46-5a44-80a9-6baea569f3e6
下载链接
链接失效反馈官方服务：
资源简介：
Source code accompanying the paper: Markus Klinik, Bernard van Gastel, Cynthia Kop, and Marko van Eekelen. Skylines for symbolic energy consumption analysis. In Proceedings of...
