Synthesising Interprocedural Bit−Precise Termination Proofs
Hong−Yi Chen‚ Cristina David‚ Daniel Kroening‚ Peter Schrammel and Björn Wachter
Book Title
Automated Software Engineering‚ ASE 2015
Pages
53–64
Publisher
IEEE
Year
2015
Hong−Yi Chen‚ Cristina David‚ Daniel Kroening‚ Peter Schrammel and Björn Wachter