1 Einträge gefunden

1. A Comparison of software packages for verified linear programming

   1. Keil, Christian

   2008 - TUHH Open Research