Robuta

https://cordis.europa.eu/project/id/227874/results/de Research on Really Reliable and Secure Systems Software | R3S3 | Projekt | Ergebnisse | FP7 |... Deliverables, publications, datasets, software, exploitable results research on secure systems