Registered user since Mon 11 Jan 2021

Name: Avraham Raviv

Country: Israel

Affiliation: Bar Ilan University

Contributions

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