A Survey of Practical Formal Methods for Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock. A Survey of Practical Formal Methods for Security. Formal Asp. Comput., 34(1):1-39, 2022. [doi]

This author has not been identified. Look up 'Tomas Kulik' in GoogleThis author has not been identified. Look up 'Brijesh Dongol' in GoogleThis author has not been identified. Look up 'Peter Gorm Larsen' in GoogleThis author has not been identified. Look up 'Hugo Daniel Macedo' in GoogleThis author has not been identified. Look up 'Steve Schneider' in GoogleThis author has not been identified. Look up 'Peter W. V. Tran-Jørgensen' in GoogleThis author has not been identified. Look up 'James Woodcock' in Google

runs on WebDSL