Rafael Silva and João Alcântara. 2021.
ASPIC? and the Postulates of Non-interference and Crash-Resistance. In <em>Anais da X Brazilian Conference on Intelligent Systems</em>, November 29, 2021, Online, Brasil. SBC, Porto Alegre, Brasil.