Sonstiges: Verified Construction of SSA Form

[ullrich13bachelorarbeit]

Sebastian Andreas Ullrich, Verified Construction of SSA Form, October 2013.

Download

[PDF]

BibTeX

@misc{ullrich13bachelorarbeit,
  title = {Verified Construction of SSA Form},
  year = {2013},
  month = oct,
  author = {Sebastian Andreas Ullrich},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Bachelor- und Masterarbeiten

Formalisierung von SSA-Form