Synthesising Interprocedural Bit-Precise Termination Proofs (T) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hong Yi Chen' in GoogleThis author has not been identified. Look up 'Cristina David' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Peter Schrammel' in GoogleThis author has not been identified. Look up 'Björn Wachter' in Google

runs on WebDSL