conference paper John Derrick author Simon Doherty author Brijesh Dongol author Gerhard Schellhorn author Heike Wehrheim author 573 77 department Validation of Software Transactional Memory project 2019 eng 10.1007/978-3-030-30942-8\_12 179-195 Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 179–95, 2019. <a href="https://doi.org/10.1007/978-3-030-30942-8\_12">https://doi.org/10.1007/978-3-030-30942-8\_12</a>. J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195. Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &#38; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i> (pp. 179–195). <a href="https://doi.org/10.1007/978-3-030-30942-8\_12">https://doi.org/10.1007/978-3-030-30942-8\_12</a> J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 2019, pp. 179–195. Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>. ; 2019:179-195. doi:<a href="https://doi.org/10.1007/978-3-030-30942-8\_12">10.1007/978-3-030-30942-8\_12</a> @inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title={Verifying Correctness of Persistent Concurrent Data Structures}, DOI={<a href="https://doi.org/10.1007/978-3-030-30942-8\_12">10.1007/978-3-030-30942-8\_12</a>}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, year={2019}, pages={179–195} } Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 2019, pp. 179–95, doi:<a href="https://doi.org/10.1007/978-3-030-30942-8\_12">10.1007/978-3-030-30942-8\_12</a>. 139932019-10-24T08:20:28Z2022-01-06T06:51:48Z