A Logical Framework for Reasoning about Logical Specifications

open_access
Open Access