Formalizing non-interference for a simple bytecode language in Coq

From MaRDI portal
Publication:931434