Registered user since Sun 27 Dec 2020

Name: Michelle Aluf-Medina

Country: Israel

Affiliation: Bar Ilan University

Contributions

VMCAI 2021 Author of Formal Semantics and Verification of Network Based Biocomputation Circuits within the VMCAI-track