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

Title Towards an Automatic Derivation of Tarjan's Algorithm for Detecting Strongly Connected Components in Directed Graphs
Student Harmen van de Spek
Programme Master Computer Science
Year 2006

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, Leiden University, 2006.