Peter Csaba Ölveczky, Gwen Salaün. Software engineering and formal methods: SEFM 2019 special section. Software and Systems Modeling, 20(2):291-292, 2021. [doi]
@article{OlveczkyS21, title = {Software engineering and formal methods: SEFM 2019 special section}, author = {Peter Csaba Ölveczky and Gwen Salaün}, year = {2021}, doi = {10.1007/s10270-021-00874-1}, url = {https://doi.org/10.1007/s10270-021-00874-1}, researchr = {https://researchr.org/publication/OlveczkyS21}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {20}, number = {2}, pages = {291-292}, }