• Sign in
  • Sign up
conf.researchr.org / Hana Chockler
  • * ICSE 2018 * profile
  • ETAPS 2019 profile
  • POPL 2016 profile
  • POPL 2017 profile
Hana Chockler

Registered user since Fri 10 Jul 2015

Name: Hana Chockler

Contributions

CREST 2019Committee Member in Program Committee within the CREST-track
VMCAI 2017Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
* ICSE 2018 *Committee Member in Program committee within the Technical Papers -track
VMCAICommittee Member in Program Committee

Share
xTue 10 Dec 22:59
using conf.researchr.org (v1.21.5)
Support page
Sign Up