James Bret Michael, George W. Dinolt, Doron Drusinsky. Open Questions in Formal Methods. IEEE Computer, 53(5):81-84, 2020. [doi]
@article{MichaelDD20, title = {Open Questions in Formal Methods}, author = {James Bret Michael and George W. Dinolt and Doron Drusinsky}, year = {2020}, doi = {10.1109/MC.2020.2978567}, url = {https://doi.org/10.1109/MC.2020.2978567}, researchr = {https://researchr.org/publication/MichaelDD20}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {53}, number = {5}, pages = {81-84}, }