Maurice H. ter Beek, Annabelle McIver. Formal methods: practical applications and foundations. Formal Methods in System Design, 58(1):1-4, 2021. [doi]
@article{BeekM21, title = {Formal methods: practical applications and foundations}, author = {Maurice H. ter Beek and Annabelle McIver}, year = {2021}, doi = {10.1007/s10703-021-00380-6}, url = {https://doi.org/10.1007/s10703-021-00380-6}, researchr = {https://researchr.org/publication/BeekM21}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {58}, number = {1}, pages = {1-4}, }