20340583
Results 1 to 1 of 1
Selection :
Formalizing non-interference for a simple bytecode language in CoqKAMMÜLLER, Florian.Formal aspects of computing. 2008, Vol 20, Num 3, pp 259-275, issn 0934-5043, 17 p.Article