Master Computer Science



The following thesis was written by a student in the 2006 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleTowards an Automatic Derivation of Tarjan's Algorithm for Detecting Strongly Connected Components in Directed Graphs
StudentHarmen van de Spek
ProgrammeMaster Computer Science
Year2006

Citation details

Harmen van de Spek, Towards an Automatic Derivation of Tarjan's Algorithm for Detecting Strongly Connected Components in Directed Graphs, Thesis Master Computer Science, LIACS, Leiden University, 2006.