DMCA

Synthesising Interprocedural Bit-Precise Termination Proofs

Cached

Download Links

by Hong-yi Chen , Cristina David , Daniel Kroening , Peter Schrammel