Research output per year
Research output per year
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Original language | English |
---|---|
Title of host publication | International Conference on Computer Aided Verification : CAV 2018: Computer Aided Verification |
Publisher | Springer |
Publication date | 18 Jul 2018 |
Pages | 527-546 |
ISBN (Print) | 978-3-319-96144-6 |
ISBN (Electronic) | 978-3-319-96145-3 |
DOIs | |
Publication status | Published - 18 Jul 2018 |
Event | International Conference on Computer Aided Verification - Oxford, United Kingdom Duration: 14 Jul 2018 → 17 Jul 2018 |
Conference | International Conference on Computer Aided Verification |
---|---|
Country/Territory | United Kingdom |
City | Oxford |
Period | 14/07/2018 → 17/07/2018 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 10981 |
ISSN | 0302-9743 |
Research output: PhD thesis