Author:Ana Oliveira da Costa

Publications
Reasoning About Hyperproperties with Automated Theorem Provers Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030