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:
Supervisor nameSupervisor E mail
Perez Parra, J.A.J.A.Perez@rug.nl
Renardel de Lavalette, G.R.G.R.Renardel.de.Lavalette@rug.nl
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