Bevin Duckett

According to our database, Bevin Duckett authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Space Telemetry Analysis with PyContract.

Bevin Duckett, Klaus Havelund, Luke Stewart

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023