Proof Engineering of Higher Order Logic: Collaboration, Transformation, Checking and Retrieval

Research output: Contribution to Conference › Abstract › Academic

Original language	English
Publication status	Published - 20 Mar 2016

Persistent URL (handle)