Editorial
Formal methods, techniques and tools for secure and reliable applications

https://doi.org/10.1016/j.csi.2005.01.002Get rights and content

References (0)

Cited by (1)

View full text