Proceedings paper

Title:
JPF: From 2003 to 2023
Authors:
C. Artho, P. Parízek, D. Qu, V. Galgali, P. Yi
Publication:
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
DOI:
10.1007/978-3-031-57249-4_1
Year:
2024
Link:
https://doi.org/10.1007/978-3-031-57249-4_1

BibTeX:
@inproceedings{artho_jpf_2024,
    title = {{JPF: From 2003 to 2023}},
    author = {Artho, Cyrille and Parízek, Pavel and Qu, Daohan and Galgali, Varadraj and Yi, Pu (Luke)},
    year = {2024},
    booktitle = {{30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)}},
    publisher = {Springer},
    series = {{Lecture Notes in Computer Science}},
    doi = {10.1007/978-3-031-57249-4_1},
    pages = {3--22},
    url = {https://doi.org/10.1007/978-3-031-57249-4_1},
    volume = {14571},
}