Show simple item record

A Framework for Formal Verification of Concurrent Software

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorPrasetya, S.W.B.
dc.contributor.authorMarcelo André Barbosa de Sousa, ..
dc.date.accessioned2012-09-25T17:01:23Z
dc.date.available2012-09-25
dc.date.available2012-09-25T17:01:23Z
dc.date.issued2012
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/11639
dc.description.sponsorshipUtrecht University
dc.format.extent548465 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleA Framework for Formal Verification of Concurrent Software
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.courseuuComputing Science


Files in this item

Thumbnail
Name:
thesis-3535592-sousamarcelo.pdf
Size:
535.6Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record