Sonstiges: Verified Computation of Control Dependencies in a Control Flow Graph

[wagner13bachelorarbeit]

Maximilian Wagner, Verified Computation of Control Dependencies in a Control Flow Graph, November 2013.

Download

[PDF]

BibTeX

@misc{wagner13bachelorarbeit,
  title = {Verified Computation of Control Dependencies in a Control Flow Graph},
  year = {2013},
  month = nov,
  author = {Maximilian Wagner},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
M.Sc. Maximilian Wagner

Bachelor- und Masterarbeiten

Verifizierte Berechnung von Kontrollabhängigkeiten