Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Reasoning about Co-Routines

Information

Project Team

Organisations

Outputs and Outcomes

Promotor

Tom Schrijvers

Department of Applied Mathematics, Computer Science and Statistics (until 30 September 2018)