4452 articles – 13148 Notices  [english version]
.:. Consultation > Par auteur > Almeida Matos .:.
1 document
fulltext access Typing Noninterference for Reactive Programs
Almeida Matos A., Boudol G., Castellani I.
Research report (2006) 38 [inria-00070413 - version 1]