BANANA

MaRDI QIDQ14135swMATHFDO

Official website http://www.dsi.unive.it/~mefisto/BANANA/index.html

Cited in

(2)

• Information flow security in boundary ambients
• Nesting analysis of mobile ambients

This page was built for software: BANANA