Smart testing of functional programs in Isabelle

by Lukas Bulwahn
Citations:2 - 1 self