cx a22 3 45 249277816 http://www.idref.fr/249277816 20200923 20240912174144.000 751050002 751050002 Tp5 http://viaf.org/viaf/9866160245377752640002 VIAF VIAF 20210804 57203276475 SCOPUSID ABES 20240912 20200923afrey50 ba0 eng 639-2 GB 0 1 0 ba AFNOR ba0yba0y f|xxx 0 King Andy informaticien ba0yba0y Professeur au Département d'informatique de l'université du Kent, Royaume-Uni (en 2019) ba0yba0y Rapporteur d'une thèse en Informatique soutenue à Sorbonne université en 2019 FR Abes 20240912 AFNOR Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats / Matthieu Journault ; sous la direction de Antoine Miné. Thèse de doctorat : Informatique : Sorbonne université : 2019 Rapporteur d'une thèse en Informatique soutenue à Sorbonne université en 2019 https://www.cs.kent.ac.uk/people/staff/amk/pubs.html Professeur au Département d'informatique de l'université du Kent, Royaume-Uni (en 2019) King, Andy (informaticien)