Lecture Notes in Computer Science: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings

Chin, Wei-Ngan; Xu, Zhiwu

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.

The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.

Details

Published by: Springer

Publication Date: 2024-07-15

Format: Paperback

ISBN-13: 9783031646256

DOI: 10.1007/978-3-031-64626-3

Dimensions: 235cm x155cm

Pages: 474