Selected Extended Papers of TACAS 2024 (theory track)
TACAS'24 was the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held on April 6-11, 2024 in Luxembourg City, Luxembourg. TACAS is a forum for researchers, ...
- Submission status
- Open
- Submission deadline
- 01 October 2024