Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT

Full project page

Organisations map overview