Hauptmenü
  • Autor
    • Kegele, Matthias Sebastian
  • TitelModel-based mutation testing with SMT-solvers
  • Volltext
  • Erscheinungsjahr2014
  • BeschreibungXIII, 106 Bl.
  • Beschreibungzahlr. graph. Darst.
  • ZugriffsrechteAuch auzserhalb des TU-Netzes nutzbar