Locales - a sectioning concept for Isabelle (1999)

by F Kammüller, M Wenzel, L C Paulson
Venue:In TPHOLs’99