CIn-TRUST
research group


The CIn-TRUST research group is a centre of excellence for Formal Methods research, teaching, and practice.

<font color="#db1e2f">CIn</font>-<font color="#62b01e">TRUST</font>  
research group