Skip to content

Research at St Andrews

Type-driven verification of communicating systems

Project: Standard

Participant(s)

Organisation(s)

Details

AcronymType-Driven Verification of Communic
StatusFinished
Effective start/end date1/05/1630/04/17
Funder Project ReferenceEP/N024222/1
FunderEPSRC
St Andrews funding£81,541.33

Research outputs

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 242784203