Generating Concurrency Checks Automatically. / Hague, Matthew; Hoyland, Jonathan.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs . ACM, 2016. p. 1-15 4.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 390 KB, PDF document
Original language | English |
---|---|
Title of host publication | Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs |
Publisher | ACM |
Pages | 1-15 |
Number of pages | 15 |
ISBN (Electronic) | 978-1-4503-4439-5 |
DOIs | |
Publication status | Published - 17 Jul 2016 |
Project: Research
ID: 26760540