• Sign in
  • Sign up
conf.researchr.org / Zebo Peng
  • ETAPS 2019 profile
  • POPL 2016 profile

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

Share
xWed 6 Jul 02:16
using conf.researchr.org (v1.56.1)
Support page
Sign Up