TY  - BOOK
TI  - Theoretical Aspects of Software Engineering: 16th international symposium, TASE 2022 Cluj-Napoca, Romania, July 8-10, 2022 proceedings 
SN  - 9783031103629
AV  - QA76.758 .T396 2022
PY  - 2022///
CY  - Cham, Switzerland
PB  - Springer
KW  - Computer Software Development
KW  - Computer Software Development Congresses
KW  - Conference Papers and Proceedings
N2  - This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques
ER  -