Source code for the SECA symbolic execution engine
收藏B2FIND2026-03-21 收录
下载链接：
https://b2find.eudat.eu/dataset/509eac1d-b914-53ae-9e6b-0d5bebfd54c4
下载链接
链接失效反馈官方服务：
资源简介：
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...
