Original language | English |
---|---|
Title of host publication | Verification, Model Checking, and Abstract Interpretation |
Editors | Kenneth L. McMillan, Xavier Rival |
Publisher | . |
Pages | 262-281 |
DOIs | |
Publication status | Published - 2014 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Theoretical