Nicholas Smallbone

Own Thesis
Related Theses

Lightweight verification of functional programs.

N. Smallbone. Chalmers University of Technology, Gothenburg, Sweden, (2013)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:175492).

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Nicholas Smallbone
Editor:
Other:

No resources found

Publications 0
Other Publications of same named Authors

BibSonomy

Nicholas Smallbone

sort by
added at
title
author
publication date
entry type

BibSonomy

Nicholas Smallbone

sort byadded attitleauthorpublication dateentry type

sort by
added at
title
author
publication date
entry type