Trustworthy Software Systems - Formal Analysis Tools Development

| Funding period: 2018 - 2018

Completed

Researchers