Verification of an iterative implementation of Tarjan’s algorithm for Strongly Connected Components using Dafny

  • Wouter R.M. Schols

Scriptie/Masterproef: Master

Datum prijs27 nov. 2020
Originele taalEngels
BegeleiderJ.W. (Wieger) Wesselink (Afstudeerdocent 1) & Cornelis (Kees) Huizing (Afstudeerdocent 2)

Citeer dit

Documenten

  • Schols, W.

    Bestand: application/pdf, 834 KB

    Type: Scriptie

'