Selected Extended Papers of TACAS 2023 (theory track)
TACAS'23 was the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held on April 22-27, 2023 in Paris, France. TACAS is a forum for researchers, developers an...
- Submission status
- Open
- Submission deadline
- 30 June 2024