Thi-Mai-Thuong Tran. Compositional Formal Analysis for Concurrent Object-Oriented Languages. PhD thesis, University of Oslo, Norway, 2013. [doi]
@phdthesis{basesearch-7247, title = {Compositional Formal Analysis for Concurrent Object-Oriented Languages}, author = {Thi-Mai-Thuong Tran}, year = {2013}, url = {https://www.base-search.net/Record/ed6e80b7aff8bff76a16d812fb044bcf0a30fe2059dae367e6b7ff5160170870}, note = {base-search.net (ftoslouniv:oai:www.duo.uio.no:10852/37534)}, researchr = {https://researchr.org/publication/basesearch-7247}, cites = {0}, citedby = {0}, school = {University of Oslo, Norway}, }