![](/img/cover-not-exists.png)
Formalizing non-interference for a simple bytecode language in Coq
Florian KammüllerVolume:
20
Language:
english
Pages:
17
DOI:
10.1007/s00165-007-0055-2
Date:
May, 2008
File:
PDF, 207 KB
english, 2008