Noé Weeks

According to our database, Noé Weeks authored at least 2 papers in 2022.

Collaborative distances:

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

2022

Sound Automation of Magic Wands (extended version).

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexander J. Summers, Peter Müller

CoRR, 2022

Sound Automation of Magic Wands.

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers

Proceedings of the Computer Aided Verification - 34th International Conference, 2022