Magnus O. Myreen

A Hoare Logic for Diverging Programs

by Johannes Åman Pohjola 📧, Magnus O. Myreen 📧 and Miki Tanaka 📧