Maximiliano Cristiá, Gianfranco Rossi. An Automatically Verified Prototype of the Tokeneer ID Station Specification. Journal of Automated Reasoning, 65(8):1125-1151, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.