# Lindsay Groves

> mathematician at Victoria University of Wellington in New Zealand

**Wikidata**: [Q102436917](https://www.wikidata.org/wiki/Q102436917)  
**Source**: https://4ort.xyz/entity/lindsay-groves


## References

1. The provision of debugging facilities for high level languages
2. [Source](http://hdl.handle.net/10179/13541)
3. [Source](https://ecs.wgtn.ac.nz/Main/LindsayGroves)
4. Mathematics Genealogy Project
5. On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures
6. [Source](https://doi.org/10.26686/wgtn.17004076)
7. [Source](https://doi.org/10.26686/wgtn.17148098)
8. [Source](https://doi.org/10.26686/wgtn.17142734)
9. [Source](https://doi.org/10.26686/wgtn.17005978)