Other Publications: Formally Verified Insertion of Reference Counting Instructions

[huisinga19bachelorarbeit]

Marc Huisinga, Formally Verified Insertion of Reference Counting Instructions, November 2019.

Download

BibTeX

@misc{huisinga19bachelorarbeit,
  title = {Formally Verified Insertion of Reference Counting Instructions},
  year = {2019},
  month = nov,
  author = {Marc Huisinga},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

former tutors
Marc Huisinga

Bachelor and Masters theses

Formally Verified Insertion of Reference Counting Instructions