Applying Formal Methods to a Certifiably Secure Software System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean. Applying Formal Methods to a Certifiably Secure Software System. IEEE Trans. Software Eng., 34(1):82-98, 2008. [doi]

This author has not been identified. Look up 'Constance L. Heitmeyer' in GoogleThis author has not been identified. Look up 'Myla Archer' in GoogleThis author has not been identified. Look up 'Elizabeth I. Leonard' in GoogleThis author has not been identified. Look up 'John McLean' in Google

runs on WebDSL