FORM

Opening

FORM is the Centre for Formal Methods and Future Computing, a strategic organisation supporting CSLib through a tight collaboration on the development of formal methods and their long-term roadmap.

Contact

Fabrizio Montesi

University of Southern Denmark and Danish Institute for Advanced Study

More information

For more information, see FORM's website (opens in another tab).