{"languages": [{"key": "/l/eng"}], "subtitle": "Proceedings", "last_modified": {"type": "/type/datetime", "value": "2008-04-29 13:35:46.87638"}, "publishers": ["North-Holland"], "number_of_pages": 514, "isbn_13": ["9780444705327"], "isbn_10": ["0444705325"], "publish_date": "December 1988", "key": "/b/OL7531490M", "authors": [{"key": "/a/OL717739A"}], "title": "The Fusion of Hardware Design and Verification", "type": {"key": "/type/edition"}, "id": 10251844, "revision": 1}