Why Should I Trust Your Code? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich. Why Should I Trust Your Code?. Communications of the ACM, 67(1):68-76, January 2024. [doi]

This author has not been identified. Look up 'Antoine Delignat-Lavaud' in GoogleThis author has not been identified. Look up 'Cédric Fournet' in GoogleThis author has not been identified. Look up 'Kapil Vaswani' in GoogleThis author has not been identified. Look up 'Sylvan Clebsch' in GoogleThis author has not been identified. Look up 'Maik Riechert' in GoogleThis author has not been identified. Look up 'Manuel Costa' in GoogleThis author has not been identified. Look up 'Mark Russinovich' in Google

runs on WebDSL