arrow
返回
A

Achim D. Brucker

University of Exeter

23H指数
215论文数
1.8K被引数
收录论文 3
发表时间
Stateful Protocol Composition in Isabelle/HOL
err2023-04-14
err2
errOAAI
errHess, Andreas V.; Modersheim, Sebastian A.; Brucker, Achim D.
err分享
err收藏
A Screening Test for Disclosed Vulnerabilities in FOSS Components
err2019-10-01
err24
errOAAI
errDashevskyi, Stanislav; Brucker, Achim D.; Massacci, Fabio
err分享
err收藏