24th International Conference on Formal Engineering Methods (ICFEM)
ISBN: 978-981-99-7583-9, 2023
Cite:
@proceedings{Li2023ICFEM,
doi = {10.1007/978-981-99-7584-6},
editor = {Li, Yi and Tahar, Sofi{\`e}ne},
isbn = {978-981-99-7583-9},
month = nov,
publisher = {Springer},
title = {24th International Conference on Formal Engineering Methods (ICFEM)},
year = {2023},
bdsk-url-1 = {https://doi.org/10.1007/978-981-99-7584-6}
}