{"title":"Development of Correctness Critical Software","summary":null,"repo":"mortenbp/speciale","sha":"4c9328054b487d78f663240a6d47678cb3e3d7e2","actor":"brinchj","page_name":"Development of Correctness Critical Software","actor_gravatar":"9bad296ca659f81e61b5e38116c0be03","action":"edited"}