Javascript must be enabled for the correct page display

Verifying Message-Passing Programs in Go

Antonis, Elton (2018) Verifying Message-Passing Programs in Go. Bachelor's Thesis, Computing Science.

[img] Text
bCS_2018_AntonisE.pdf
Restricted to Registered users only

Download (2MB)

Abstract

De begeleider en/of auteur heeft geen toestemming gegeven tot het openbaar maken van de scriptie. The supervisor and/or the author did not authorize public publication of the thesis.

Item Type: Thesis (Bachelor's Thesis)
Supervisor name: Perez Parra, J.A. and Renardel de Lavalette, G.R.
Degree programme: Computing Science
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 24 Jul 2018
Last Modified: 02 Aug 2018 14:11
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/18033

Actions (login required)

View Item View Item