Security invariants in discrete transition systems

From MaRDI portal
Publication:1941889