Source code for the symbolic TopHat execution engine
收藏B2FIND2026-03-21 收录
下载链接：
https://b2find.eudat.eu/dataset/d0c75208-50ac-5425-9c38-ed5bd8e4eb91
下载链接
链接失效反馈官方服务：
资源简介：
Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st...
