Flow logic for language-based safety and security

René Rydhof Hansen

Research output: Book/Report › Ph.D. thesis › Research

349 Downloads (Pure)

1 Finished

1 results

Finished
Security Validation through Static Analysis
Hansen, R. R., Nielson, F., Fischer, P., Cortesi, A. & Schmidt, D. A.
DTU stipendium
01/01/2002 → 06/06/2005
Project: PhD