{"name": "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)", "created": {"type": "/type/datetime", "value": "2012-01-04T02:46:24.266613"}, "last_modified": {"type": "/type/datetime", "value": "2012-01-04T02:46:24.266613"}, "latest_revision": 1, "key": "/authors/OL7059654A", "type": {"key": "/type/author"}, "revision": 1}