tr-announce September 2016

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

2016-09: Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
by Jera Hensel
7 years, 8 months
Results per page: