Original language | English |
---|---|
Title of host publication | International Conference on Verification, Model Checking, and Abstract Interpretation |
Publisher | . |
Pages | 1-20 |
Publication status | Published - 2016 |
Fields of Expertise
- Information, Communication & Computing