Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis - Switzerland
doi 10.1007/s11787-020-00249-y
Full Text
Open PDFAbstract
Available in full text
Date
April 4, 2020
Authors
Publisher
Springer Science and Business Media LLC