# Does Every Computer Scientist Need to Know Formal Methods?

> Research article (Formal Aspects of Computing, 2024) · cited 23× · AI/ML

**Wikidata**: [openalex:W4399498587](https://www.wikidata.org/wiki/openalex:W4399498587)  
**Source**: https://4ort.xyz/entity/does-every-computer-scientist-need-to-know-formal-methods