Maeve Wildes

According to our database, Maeve Wildes authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Probabilistic Model Checking of Randomized Java Code.

Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel

Proceedings of the Model Checking Software - 27th International Symposium, 2021