1 paper
Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria +1
Formal verification has become increasingly important because of the kinds of guarantees that it can provide for software systems. Verification of models of biological and medical…