conf.researchr.org / Zebo Peng
Not registered as user yet
Name:Zebo Peng
Contributions
TACAS 2019 | Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track |
VMCAI | Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track |