{"id":1804,"date":"2019-08-20T16:05:09","date_gmt":"2019-08-20T16:05:09","guid":{"rendered":"http:\/\/modelsconf19.org\/?post_type=mp-event&p=1804"},"modified":"2019-08-20T16:05:09","modified_gmt":"2019-08-20T16:05:09","slug":"formal-verification-and-static-analysis","status":"publish","type":"mp-event","link":"https:\/\/modelsconf19.org\/?mp-event=formal-verification-and-static-analysis","title":{"rendered":"Formal Verification and Static Analysis"},"content":{"rendered":"","protected":false},"excerpt":{"rendered":"","protected":false},"author":4,"featured_media":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","mp-event_category":[13],"mp-event_tag":[],"_links":{"self":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/mp-event\/1804"}],"collection":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/mp-event"}],"about":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/types\/mp-event"}],"author":[{"embeddable":true,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1804"}],"wp:attachment":[{"href":"https:\/\/modelsconf19.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1804"}],"wp:term":[{"taxonomy":"mp-event_category","embeddable":true,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmp-event_category&post=1804"},{"taxonomy":"mp-event_tag","embeddable":true,"href":"https:\/\/modelsconf19.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmp-event_tag&post=1804"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}