Omar Waldmann

According to our database, Omar Waldmann authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Execution Trace Analysis Using LTL-FO ^+.

Raphaël Khoury, Sylvain Hallé, Omar Waldmann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016