Gerard J. Holzmann. Predicting the Past. IEEE Software, 37(2):10-12, 2020. [doi]
@article{Holzmann20, title = {Predicting the Past}, author = {Gerard J. Holzmann}, year = {2020}, doi = {10.1109/MS.2019.2957634}, url = {https://doi.org/10.1109/MS.2019.2957634}, researchr = {https://researchr.org/publication/Holzmann20}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {37}, number = {2}, pages = {10-12}, }