A Framework for Formal Verification of Concurrent Software

Files

thesis-3535592-sousamarcelo.pdf (535.61 KB)

Publication date

Authors

Marcelo André Barbosa de Sousa, ..

Document Type

Master Thesis

Metadata

Show full item record

Collections

License

CC-BY-NC-ND

URI

https://studenttheses.uu.nl/handle/20.500.12932/11639