![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Integration of Security Policy into System Modeling
Julliand, Jacques, Kouchnarenko, OlgaVolume:
10.1007/11
Year:
2006
Language:
english
DOI:
10.1007/11955757_19
File:
PDF, 443 KB
english, 2006