Marco Keppel

According to our database, Marco Keppel authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Towards the Formal Analysis of Algorithmic Requirements.

Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024