Specification and formal verification of security requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Isaac Agudo, Javier López 0001. Specification and formal verification of security requirements. In Kiril Boyanov, editor, Proceedings of the 5th International Conference on Computer Systems and Technologies, CompSysTech 2004, Rousse, Bulgaria, June 17-18, 2004. pages 1-6, ACM, 2004. [doi]

This author has not been identified. Look up 'Isaac Agudo' in GoogleThis author has not been identified. Look up 'Javier López 0001' in Google

runs on WebDSL