Anica

swMATH22198MaRDI QIDQ33993FDOQ33993

Author name not available (Why is that?)

Official website: http://service-technology.org/anica/

Cited In (3)

• PEP
• Multilevel transitive and intransitive non-interference, causally
• MultiUbic

This page was built for software: Anica