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 nameSupervisor E mail
Perez Parra,
Renardel de Lavalette,
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