{"version":"1.0","provider_name":"IMPEX'2017","provider_url":"https:\/\/impex2017.loria.fr","title":"First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development","type":"rich","width":600,"height":338,"html":"
First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development<\/a><\/blockquote>\n