Automated Reasoning Repair - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok. Automated Reasoning Repair. In Henrique Rebêlo, editor, Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022. pages 11-14, ACM, 2022. [doi]

This author has not been identified. Look up 'Amirfarhad Nilizadeh' in GoogleThis author has not been identified. It may be one of the following persons:

Gary T. Leavens

Look up 'Gary T. Leavens' in GoogleThis author has not been identified. Look up 'David R. Cok' in Google

runs on WebDSL