Stuart Matthews

According to our database, Stuart Matthews authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Co-Developing Programs and Their Proof of Correctness.

Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy

Commun. ACM, March, 2024

2023

Crucible Tools for Test Generation and Animation of Alloy Models.

Thomas Wilson, Stuart Matthews

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023