Structured formal development in Isabelle (0)

by Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
Venue:Nordic Journal of Computing