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
Restricted to Registered users only

Download (2MB)


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

Actions (login required)

View Item View Item