Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Maria Teresa Llano
Latest
Semi-Automated Design Space Exploration for Formal Modelling
Refinement Plans for Informed Formal Design
Cite
×