Matthias Daum. On the formal foundation of a verification approach for system-level concurrent programs. PhD thesis, Saarland University, 2010. [doi]
@phdthesis{de-3356, title = {On the formal foundation of a verification approach for system-level concurrent programs}, author = {Matthias Daum}, year = {2010}, url = {http://scidok.sulb.uni-saarland.de/volltexte/2010/3471/}, note = {http://d-nb.info/1009493728}, researchr = {https://researchr.org/publication/de-3356}, cites = {0}, citedby = {0}, school = {Saarland University}, }