DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer

+44 (0)20 7594 8263s.van.bakel Website

425Huxley BuildingSouth Kensington Campus

Publications

@inproceedings{van:2007,
author = {van, Bakel S and Vigliotti, MG},
title = {Note on a simple type system for non-interference},
year = {2007}
}

Download

TY  - CPAPER
AU  - van,Bakel S
AU  - Vigliotti,MG
PY  - 2007///
TI  - Note on a simple type system for non-interference
ER  -

Download