A compositional proof framework for FRETish requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. A compositional proof framework for FRETish requirements. In Andrei Popescu 0001, Steve Zdancewic, editors, CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022. pages 68-81, ACM, 2022. [doi]

This author has not been identified. Look up 'Esther Conrad' in GoogleThis author has not been identified. Look up 'Laura Titolo' in GoogleThis author has not been identified. Look up 'Dimitra Giannakopoulou' in GoogleThis author has not been identified. It may be one of the following persons:

Thomas Pressburger

Look up 'Thomas Pressburger' in GoogleThis author has not been identified. Look up 'Aaron Dutle' in Google

runs on WebDSL