Marieke Huisman, Sebastiaan J. C. Joosten. Towards Reliable Concurrent Software. In Peter Müller 0001, Ina Schaefer, editors, Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. pages 129-146, Springer, 2018. [doi]
@inproceedings{HuismanJ18, title = {Towards Reliable Concurrent Software}, author = {Marieke Huisman and Sebastiaan J. C. Joosten}, year = {2018}, doi = {10.1007/978-3-319-98047-8_9}, url = {https://doi.org/10.1007/978-3-319-98047-8_9}, researchr = {https://researchr.org/publication/HuismanJ18}, cites = {0}, citedby = {0}, pages = {129-146}, booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday}, editor = {Peter Müller 0001 and Ina Schaefer}, publisher = {Springer}, isbn = {978-3-319-98047-8}, }