Verification and Analysis for Safety and Security of Applications in Life

Full project page

Organisations map overview