Hauptmenü
  • Autor
    • Felbinger, Hermann
  • TitelSuitability analysis of CSP- and SMT-solvers for test case generation
  • Datei
  • Erscheinungsjahr2013
  • BeschreibungXV, 80 S.
  • Beschreibunggraph. Darst.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar