Hong Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter. Synthesising Interprocedural Bit-Precise Termination Proofs (T). In Myra B. Cohen, Lars Grunske, Michael Whalen, editors, 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. pages 53-64, IEEE, 2015. [doi]
@inproceedings{ChenDKSW15,
title = {Synthesising Interprocedural Bit-Precise Termination Proofs (T)},
author = {Hong Yi Chen and Cristina David and Daniel Kroening and Peter Schrammel and Björn Wachter},
year = {2015},
doi = {10.1109/ASE.2015.10},
url = {http://dx.doi.org/10.1109/ASE.2015.10},
researchr = {https://researchr.org/publication/ChenDKSW15},
cites = {0},
citedby = {0},
pages = {53-64},
booktitle = {30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015},
editor = {Myra B. Cohen and Lars Grunske and Michael Whalen},
publisher = {IEEE},
isbn = {978-1-5090-0025-8},
}