{"version":"1.0","provider_name":"Centre culturel Protestant de l&#039;Ouest","provider_url":"https:\/\/centreprotestantdelouest.ovh","author_name":"Centre culturel Protestant de l&#039;Ouest","author_url":"https:\/\/centreprotestantdelouest.ovh","title":"Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161 - Centre culturel Protestant de l&#039;Ouest","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"YHgonaVlUL\"><a href=\"https:\/\/centreprotestantdelouest.ovh\/index.php\/item\/formal-methods-22nd-international-sympos\/\">Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/centreprotestantdelouest.ovh\/index.php\/item\/formal-methods-22nd-international-sympos\/embed\/#?secret=YHgonaVlUL\" width=\"600\" height=\"338\" title=\"\u00ab\u00a0Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161\u00a0\u00bb &#8212; Centre culturel Protestant de l&#039;Ouest\" data-secret=\"YHgonaVlUL\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script>\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/\/# sourceURL=https:\/\/centreprotestantdelouest.ovh\/wp-includes\/js\/wp-embed.min.js\n<\/script>\n","description":"This book is a comprehensive textbook in the field of Informatik\/EDV, specifically in Formal Methods. It covers the 22nd International Symposium on Formal Methods held in Oxford, United Kingdom in July 2018. The book is a paperback\/softback format with 692 pages in English language and published by Springer International Publishing A&amp;G in 2018. The authors, Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de Vink, provide a detailed and informative guide to Formal Methods. This book is an essential reference for anyone who wants to learn about Formal Methods and its practical applications in the field of computer science."}