@article{terbeek_hal-04776404,
    title = {{Formal Methods in Industry}},
    author = {ter Beek, Maurice and Chapman, Rod and Cleaveland, Rance and Garavel, Hubert and Gu, Rong and ter Horst, Ivo and Keiren, Jeroen and Lecomte, Thierry and Leuschel, Michael and Rozier, Kristin Yvonne and Sampaio, Augusto and Seceleanu, Cristina and Thomas, Martyn and Willemse, Tim and Zhang, Lijun},
    url = {https://inria.hal.science/hal-04776404},
    journal = {{Formal Aspects of Computing}},
    publisher = {{Springer Verlag}},
    pages = {1-34},
    year = {2024},
    month = {aug},
    doi = {10.1145/3689374},
    hal_id = {hal-04776404},
    hal_version = {v1},
    date-added = {2026-2-10 13:56:52 +0100}
}

@article{terbeek_hal-04776404, title = {{Formal Methods in Industry}}, author = {ter Beek, Maurice and Chapman, Rod and Cleaveland, Rance and Garavel, Hubert and Gu, Rong and ter Horst, Ivo and Keiren, Jeroen and Lecomte, Thierry and Leuschel, Michael and Rozier, Kristin Yvonne and Sampaio, Augusto and Seceleanu, Cristina and Thomas, Martyn and Willemse, Tim and Zhang, Lijun}, url = {https://inria.hal.science/hal-04776404}, journal = {{Formal Aspects of Computing}}, publisher = {{Springer Verlag}}, pages = {1-34}, year = {2024}, month = {aug}, doi = {10.1145/3689374}, hal_id = {hal-04776404}, hal_version = {v1}, date-added = {2026-2-10 13:56:52 +0100} }