# David Friggens

> researcher in New Zealand

**Wikidata**: [Q112574597](https://www.wikidata.org/wiki/Q112574597)  
**Source**: https://4ort.xyz/entity/david-friggens


## References

1. On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures
2. [Source](https://doi.org/10.26686/wgtn.16920886)
3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2283-7568/employment/1969849)
4. [Source](https://doi.org/10.26686/wgtn.17004076)