{"version":"1.0","type":"link","title":"ProCoS - Newikis","description":"ProCoS (\"Provably Correct Systems\") was a European ESPRIT initiative of two collaborative computer science research projects and a Working Group, with further associated international liaison funding, started in 1989 and ending in 1997.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/commons/e/e3/ProCoS-logo.png","thumbnail_width":869,"thumbnail_height":744}