Henrik Rostedt

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Image Sequences

Imperative Programs

Top Venues

Publications

Johannes Åman Pohjola, Henrik Rostedt, Magnus O. Myreen
Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs. ITP (2019)