Formal Verification for Natural and Engineered Biological Systems.

Hillel Kugler

Browse the full FMCAD paper archive.