Zoltán Porkoláb, Viktória Zsók, editors, Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers. Volume 11950 of Lecture Notes in Computer Science, Springer, 2023. [doi]
Conference: cefp2023
@proceedings{cefp-2019, title = {Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers}, year = {2023}, doi = {10.1007/978-3-031-42833-3}, url = {https://doi.org/10.1007/978-3-031-42833-3}, researchr = {https://researchr.org/publication/cefp-2019}, cites = {0}, citedby = {0}, booktitle = {Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers}, conference = {cefp}, editor = {Zoltán Porkoláb and Viktória Zsók}, volume = {11950}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-42833-3}, }