tr-announce April 2016

tr-announce@lists.rwth-aachen.de
  • 1 Teilnehmer
  • 2 Diskussionen

2016-04: Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
von Jera Hensel
7 Jahre, 11 Monate

2016-03: Lower Runtime Bounds for Integer Programs
von Jera Hensel
7 Jahre, 11 Monate
Ergebnisse pro Seite: