tr-announce April 2016

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 2 discussions

2016-04: Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
by Jera Hensel
8 years, 1 month

2016-03: Lower Runtime Bounds for Integer Programs
by Jera Hensel
8 years, 1 month
Results per page: