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