TY  - BOOK
AU  - Porkoláb,Zoltán
AU  - Zsók,Viktória
TI  - Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783031428333
U1  - 005.11 23
PY  - 2023///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer programming
KW  - Software engineering
KW  - Compilers (Computer programs)
KW  - Computer science
KW  - Programming Techniques
KW  - Software Engineering
KW  - Compilers and Interpreters
KW  - Computer Science Logic and Foundations of Programming
N2  - This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software
UR  - https://doi.org/10.1007/978-3-031-42833-3
ER  -