8665 articles  [version française]
.:. Browse > By authors > Almeida Matos .:.
1 document

fulltext access Typing Noninterference for Reactive Programs
Almeida Matos A., Boudol G., Castellani I.
N° RR-5594 (2006) [inria-00070413 - version 1]