Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs. Zaharieva-Stojanovski, M. Ph.D. Thesis, University of Twente, 2015.
Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs [link]Paper  doi  bibtex   1 download  
@phdthesis{Zaharieva15,
    Author = {M. Zaharieva-Stojanovski},
    Doi = {10.3990/1.9789036539241},
    Number = {15-375},
    School = {University of Twente},
    Series = {CTIT Ph.D. Thesis Series},
    Title = {{Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs}},
    Year = {2015},
    url     = {https://research.utwente.nl/en/publications/closer-to-reliable-software-verifying-functional-behaviour-of-con},
    Bdsk-Url-1 = {https://doi.org/10.3990/1.9789036539241}
}

Downloads: 1