Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 22/09/2016 |
---|---|
Host publication | Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings |
Publisher | Springer-Verlag |
Pages | 375-391 |
Number of pages | 17 |
Volume | 9938 LNCS |
ISBN (print) | 9783319465197 |
<mark>Original language</mark> | English |