Browsing by Author Kugler, Hillel

Showing results 1 to 1 of 1
Authors / EditorsTitleTypeIssue Date
Kugler, Hillel ; Ivrii, Alexander ; Strichman, Ofer Formal Verification for Natural and Engineered Biological SystemsInproceedings 2020