Rights statement: This version of the contribution has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at the publisher's website. Use of this Accepted Version is subject to the publisher’s Accepted Manuscript terms of use https://www.springernature.com/gp/open-research/policies/accepted-manuscript-terms
Accepted author manuscript, 518 KB, PDF document
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 10/04/2024 |
---|---|
Host publication | Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 2024 |
Publisher | Springer |
<mark>Original language</mark> | English |
Event | The 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 24 - Guiyang, China Duration: 29/07/2024 → 1/08/2024 Conference number: 18th https://tase2024.github.io/ |
Conference | The 18th International Symposium on Theoretical Aspects of Software Engineering |
---|---|
Country/Territory | China |
City | Guiyang |
Period | 29/07/24 → 1/08/24 |
Internet address |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Conference | The 18th International Symposium on Theoretical Aspects of Software Engineering |
---|---|
Country/Territory | China |
City | Guiyang |
Period | 29/07/24 → 1/08/24 |
Internet address |