| Original language | English |
|---|---|
| Title of host publication | Computer Aided Verification |
| DOIs | |
| Publication status | Published - 2015 |
| Externally published | Yes |
Systematic Asynchrony Bug Exploration for Android Apps
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review