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, , & , 14 Apr 2018, Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Ahmed, A. (ed.). Springer, p. 619-65032 p. (Lecture Notes in Computer Science; vol. 10801).
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, 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
