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

  • Wouter R.M. Schols

Scriptie/Masterproef: Master

Samenvatting

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

Citeer dit

'