{"id":539,"date":"2021-10-21T15:09:16","date_gmt":"2021-10-21T13:09:16","guid":{"rendered":"https:\/\/www.inf.telecom-sudparis.eu\/pds\/?post_type=seminar_cpt&p=539"},"modified":"2022-01-05T10:00:44","modified_gmt":"2022-01-05T09:00:44","slug":"wip-finding-bugs-automatically-in-smart-contracts-with-parameterized-invariants","status":"publish","type":"seminar_cpt","link":"https:\/\/www.inf.telecom-sudparis.eu\/pds\/seminars_cpt\/wip-finding-bugs-automatically-in-smart-contracts-with-parameterized-invariants\/","title":{"rendered":"WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants"},"template":"","class_list":["post-539","seminar_cpt","type-seminar_cpt","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.inf.telecom-sudparis.eu\/pds\/wp-json\/wp\/v2\/seminar_cpt\/539","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.inf.telecom-sudparis.eu\/pds\/wp-json\/wp\/v2\/seminar_cpt"}],"about":[{"href":"https:\/\/www.inf.telecom-sudparis.eu\/pds\/wp-json\/wp\/v2\/types\/seminar_cpt"}],"wp:attachment":[{"href":"https:\/\/www.inf.telecom-sudparis.eu\/pds\/wp-json\/wp\/v2\/media?parent=539"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}