Hana Chockler -

Registered user since Fri 10 Jul 2015

Name:Hana Chockler

Contributions

ESEC/FSE 2021	Committee Member in Program Committee within the Research Papers-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
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