Composability, Comprehensibility and Correctness of Working Software
Subtitle: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2023
Language: eng
ISBN-13: 9783031428326