Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin M. Brosgol, Claire Dross, Yannick Moy. Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK. In 2019 IEEE Cybersecurity Development, SecDev 2019, Tysons Corner, VA, USA, September 23-25, 2019. pages 1-2, IEEE, 2019. [doi]

This author has not been identified. Look up 'Benjamin M. Brosgol' in GoogleThis author has not been identified. Look up 'Claire Dross' in GoogleThis author has not been identified. Look up 'Yannick Moy' in Google

runs on WebDSL