1 Einträge gefunden

1. Driving a sound static software analyzer with branch-and-bound

   1. Mattsen, Sven
   2. Cuoq, Pascal
   3. Schupp, Sibylle

   2013 - TUHH Open Research