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]
Abstract is missing.