John Andrew van der Poll. A Research Agenda for Embedding 4IR Technologies in the Leadership Management of Formal Methods. In International Conference on Computational Science and Computational Intelligence, CSCI 2022, Las Vegas, NV, USA, December 14-16, 2022. pages 1837-1842, IEEE, 2022. [doi]
@inproceedings{Poll22,
title = {A Research Agenda for Embedding 4IR Technologies in the Leadership Management of Formal Methods},
author = {John Andrew van der Poll},
year = {2022},
doi = {10.1109/CSCI58124.2022.00331},
url = {https://doi.org/10.1109/CSCI58124.2022.00331},
researchr = {https://researchr.org/publication/Poll22},
cites = {0},
citedby = {0},
pages = {1837-1842},
booktitle = {International Conference on Computational Science and Computational Intelligence, CSCI 2022, Las Vegas, NV, USA, December 14-16, 2022},
publisher = {IEEE},
isbn = {979-8-3503-2028-2},
}