Sonstiges: Simple Verification of Rust Programs via Functional Purification

[ullrich16masterarbeit]

Sebastian Andreas Ullrich, Simple Verification of Rust Programs via Functional Purification, December 2016.

Download

[PDF]

BibTeX

@misc{ullrich16masterarbeit,
  title = {Simple Verification of Rust Programs via Functional Purification},
  year = {2016},
  month = dec,
  author = {Sebastian Andreas Ullrich},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Bachelor- und Masterarbeiten

Einfache Verifikation von Rust-Programmen