Generating Concurrency Checks Automatically - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonathan Hoyland, Matthew Hague. Generating Concurrency Checks Automatically. In Vladimir Klebanov, editor, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. pages 4, ACM, 2016. [doi]

This author has not been identified. Look up 'Jonathan Hoyland' in GoogleThis author has not been identified. Look up 'Matthew Hague' in Google

runs on WebDSL