APA (7th ed.) Citation

Varga, S. (2017). Spezifikation und Verifikation des Spanning Tree Algorithmus von Prim in Isabelle/HOL. Technische Hochschule Ingolstadt.

Chicago Style (17th ed.) Citation

Varga, Simon. Spezifikation Und Verifikation Des Spanning Tree Algorithmus Von Prim in Isabelle/HOL. Ingolstadt: Technische Hochschule Ingolstadt, 2017.

MLA (9th ed.) Citation

Varga, Simon. Spezifikation Und Verifikation Des Spanning Tree Algorithmus Von Prim in Isabelle/HOL. Technische Hochschule Ingolstadt, 2017.