| Original language | English |
|---|---|
| Title of host publication | European Symposium on Programming |
| Publication status | Accepted/In press - 12 Dec 2014 |
Research Groups and Themes
- Programming Languages
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)