E. De Maria

Latest

• Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.