ProSec-Programming Language Methods for Computer Security
- Reference number
- A4 ING:18
- Start and end dates
- 010101-081231
- Amount granted
- 10 000 000 SEK
- Administrative organization
- Chalmers University of Technology
- Research area
- Information, Communication and Systems Technology