No. Title Author Year
1 Language-Based Security (Dagstuhl Seminar 03411) Banerjee, Anindya et al. 2021
2 Relational Logic with Framing and Hypotheses Banerjee, Anindya et al. 2016
3 03411 Final Report -- Language Based Security Banerjee, Anindya et al. 2005
4 03411 Abstracts Collection -- Language Based Security Banerjee, Anindya et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI