Hauptmenü
  • Autor
    • Höfler, Andrea
  • TitelOn the usage of value- and dependency-based models for spreadsheet debugging with SMT solvers
  • Datei
  • Erscheinungsjahr2015
  • BeschreibungII, XV, 110, [14] Bl.
  • Beschreibungzahlr. graph. Darst., Kt.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar