{"type":"rich","version":"1.0","title":"Verificación Formal de Programas\n","provider_name":"Coggle","provider_url":"https://coggle.it","thumbnail_url":"https://static.coggle.it/diagram/aFtvao0iYLEiXlfh/thumbnail","width":1920,"height":1200,"html":"<iframe width=\"1920\" height=\"1200\" src=\"https://embed.coggle.it/diagram/685b6f6a8d2260b1225e57e1\" frameborder=\"0\" allowfullscreen></iframe>"}