tr-announce May 2014

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

2014-08: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
by Thomas Ströder
10 years

2014-07: Algorithmic Differentiation of Numerical Methods: Second-Order Tangent and Adjoint Solvers for Systems of Parametrized Nonlinear Equations
by Thomas Ströder
10 years

2014-03: dco/c++ User Guide
by Thomas Ströder
10 years
Results per page: