{"type":"rich","version":1.0,"provider_name":"Speaker Deck","provider_url":"https://speakerdeck.com/","title":"High Assurance Software: A Practical Overview","author_name":"Justin Leitgeb","author_url":"https://speakerdeck.com/jsl","html":"\u003ciframe id=\"talk_frame_306228\" class=\"speakerdeck-iframe\" src=\"https://speakerdeck.com/player/6744d95c5bdf4a0083ac171cd63c10f0\" width=\"710\" height=\"532\" style=\"aspect-ratio:710/532; border:0; padding:0; margin:0; background:transparent;\" frameborder=\"0\" allowtransparency=\"true\" allowfullscreen=\"allowfullscreen\"\u003e\u003c/iframe\u003e\n","width":710,"height":532,"ratio":1.3333333333333333}