• Sign in
  • Sign up
conf.researchr.org / Petru Eles
  • ETAPS 2019 profile
  • POPL 2016 profile

Not registered as user

Name:Petru Eles

Contributions

2019

TACAS

  • Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track

2016

VMCAI

  • Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track
Share
xFri 18 Jul 15:25
using conf.researchr.org (v1.69.1)
Support page
Sign Up