Smart testing of functional programs in Isabelle

Cached

Download Links

by Lukas Bulwahn , Technische Universität München
Citations:2 - 1 self