{"record":{"leader":"cx  a22     3  45","datafield":[{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"0000-0002-5671-2555"},{"code":2,"content":"ORCID"},{"code":"C","content":"VIAF"},{"code":"d","content":20200813}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://viaf.org/viaf/9011148574372724430007"},{"code":2,"content":"VIAF"},{"code":"C","content":"VIAF"},{"code":"d","content":20200813}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":23088306500},{"code":2,"content":"SCOPUSID"},{"code":"C","content":"ABES"},{"code":"d","content":20240912}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"20190111afrey50      ba0"},"tag":100},{"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":"Ahrendt"},{"code":"b","content":"Wolfgang"}],"tag":200},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"SCANR"},{"code":"c","content":102020},{"code":2,"content":"ESR"}],"tag":686},{"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":"Tools and Techniques for the Verification of Modular Stateful Code / Mário Parreira Pereira ; sous la direction de Jean-Christophe Filliâtre. Thèse de doctorat : Informatique : Paris Saclay : 2018"},{"code":"b","content":"membre du jury en tant que professeur, Department of Computer Science and Engineering, Chalmers University of Technology ( Göteborg, Suède)"}],"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Ahrendt, Wolfgang"},"tag":900}],"controlfield":[{"tag":"001","content":233125302},{"tag":"003","content":"http://www.idref.fr/233125302"},{"tag":"004","content":20190111},{"tag":"005","content":20240912163515},{"tag":"006","content":915389701},{"tag":"007","content":915389701},{"tag":"008","content":"Tp5"}]}}