{"record":{"leader":"cx  a22     3  45","datafield":[{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://viaf.org/viaf/9866160245377752640002"},{"code":2,"content":"VIAF"},{"code":"C","content":"VIAF"},{"code":"d","content":20210804}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":57203276475},{"code":2,"content":"SCOPUSID"},{"code":"C","content":"ABES"},{"code":"d","content":20240912}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"20200923afrey50      ba0"},"tag":100},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"eng"},{"code":2,"content":"639-2"}],"tag":101},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"GB"},"tag":102},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":0},{"code":"b","content":1},{"code":"c","content":0}],"tag":106},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"ba"},"tag":120},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"AFNOR"},"tag":152},{"ind2":1,"ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":5,"content":"f|xxx"},{"code":9,"content":0},{"code":"a","content":"King"},{"code":"b","content":"Andy"},{"code":"c","content":"informaticien"}],"tag":200},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Professeur au Département d'informatique de l'université du Kent, Royaume-Uni (en 2019)"}],"tag":340},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Rapporteur d'une thèse en Informatique soutenue à Sorbonne université en 2019"}],"tag":340},{"ind2":3,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"Abes"},{"code":"c","content":20240912},{"code":"g","content":"AFNOR"}],"tag":801},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l\u2019inférence de contrats / Matthieu Journault ; sous la direction de Antoine Miné. Thèse de doctorat : Informatique : Sorbonne université : 2019"},{"code":"b","content":"Rapporteur d'une thèse en Informatique soutenue à Sorbonne université en 2019"}],"tag":810},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"https://www.cs.kent.ac.uk/people/staff/amk/pubs.html"},{"code":"b","content":"Professeur au Département d'informatique de l'université du Kent, Royaume-Uni (en 2019)"}],"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"King, Andy (informaticien)"},"tag":900}],"controlfield":[{"tag":"001","content":249277816},{"tag":"003","content":"http://www.idref.fr/249277816"},{"tag":"004","content":20200923},{"tag":"005","content":20240912174144},{"tag":"006","content":751050002},{"tag":"007","content":751050002},{"tag":"008","content":"Tp5"}]}}