BANANA

swMATH1396MaRDI QIDQ14135FDOQ14135

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: BANANA