{"type":"rich","version":1.0,"provider_name":"Speaker Deck","provider_url":"https://speakerdeck.com/","title":"From Formal Specification to Property Based Test","author_name":"Masato Ohba","author_url":"https://speakerdeck.com/ohbarye","html":"\u003ciframe id=\"talk_frame_1532509\" class=\"speakerdeck-iframe\" src=\"https://speakerdeck.com/player/eb022e1d1c0a4a2caf44a0e42122af3c\" width=\"710\" height=\"399\" style=\"aspect-ratio:710/399; border:0; padding:0; margin:0; background:transparent;\" frameborder=\"0\" allowtransparency=\"true\" allowfullscreen=\"allowfullscreen\"\u003e\u003c/iframe\u003e\n","width":710,"height":399,"ratio":1.7777777777777777}