Search

CIn-TRUST

CIn-TRUST

About
People
Projects
Collaborations
Contact

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

© 2023 CIn-TRUST. This work is licensed under CC BY NC ND 4.0.

Published with Wowchemy — the free, open source website builder that empowers creators.