Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hana Chockler
conf.researchr.org general profile
* ICSE 2018 * profile
ETAPS 2019 profile
POPL 2016 profile
POPL 2017 profile
Registered user since Fri 10 Jul 2015
Name:
Hana Chockler
Contributions
CREST 2019
Committee Member in Program Committee within the CREST-track
VMCAI 2017
Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
* ICSE 2018 *
Committee Member in Program committee within the Technical Papers -track
VMCAI
Committee Member in Program Committee
Share
x
Tue 10 Dec 22:59