Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 Array
|
|
sorted by
|
|
Information Flow Security Certification for SPARK Programs34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.137-150, ⟨10.1007/978-3-030-49669-2_8⟩
Conference papers
hal-03243629v1
|