Henrik Rostedt

According to our database, Henrik Rostedt authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs.

Johannes Åman Pohjola, Henrik Rostedt, Magnus O. Myreen

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019