{"id":5173,"date":"2017-11-19T15:06:41","date_gmt":"2017-11-19T14:06:41","guid":{"rendered":"https:\/\/recherche.esme.fr\/?post_type=journal_article&p=5173"},"modified":"2023-06-23T23:16:19","modified_gmt":"2023-06-23T21:16:19","slug":"modelling-and-formal-verification-in-action","status":"publish","type":"journal_article","link":"https:\/\/www.esme.fr\/recherche\/journal-article\/modelling-and-formal-verification-in-action\/","title":{"rendered":"Modelling and Formal Verification in Action,"},"content":{"rendered":"","protected":false},"author":13,"template":"","journal_article_cat":[245],"class_list":["post-5173","journal_article","type-journal_article","status-publish","hentry","journal_article_cat-livres"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/journal_article\/5173","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/journal_article"}],"about":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/types\/journal_article"}],"author":[{"embeddable":true,"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/users\/13"}],"wp:attachment":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/media?parent=5173"}],"wp:term":[{"taxonomy":"journal_article_cat","embeddable":true,"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/journal_article_cat?post=5173"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}