Toggle navigation
Toggle navigation
View Item
Utrecht University Student Theses Repository Home
UU Theses Repository
Theses
View Item
Utrecht University Student Theses Repository Home
UU Theses Repository
Theses
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse
All of UU Student Theses Repository
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
A Framework for Formal Verification of Concurrent Software
View/
Open
thesis-3535592-sousamarcelo.pdf (535.6Kb)
Publication date
2012
Author
Marcelo André Barbosa de Sousa, ..
Metadata
Show full item record
URI
https://studenttheses.uu.nl/handle/20.500.12932/11639
Collections
Theses