Vincent Rahli, 9 Jul 2018, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science.Association for Computing Machinery (ACM), p. 245-25410 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Vincent Rahli, Jul 2014, Interactive theorem proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Vol. 8558. p. 27-44 (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Vincent Rahli, 18 Jan 2016, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2016.Association for Computing Machinery (ACM), p. 130-14112 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Vincent Rahli, 16 Jan 2017, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017. Bertot, Y. & Vafeiadis, V. (eds.). Association for Computing Machinery (ACM), p. 208-22114 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution