conf.researchr.org / Hana Chockler
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