# Problematizing the Adoption of Formal Methods in the 4IR–5IR Transition

> Research article (Applied System Innovation, 2022) · cited 15× · AI/ML

**Wikidata**: [openalex:W4313405279](https://www.wikidata.org/wiki/openalex:W4313405279)  
**Source**: https://4ort.xyz/entity/problematizing-the-adoption-of-formal-methods-in-the-4ir5ir-transition