{"created": {"type": "/type/datetime", "value": "2019-07-08T02:15:00.826803"}, "subjects": ["Formal methods (Computer science)", "Testing", "Verification", "Integrated circuits", "Systems on a chip"], "latest_revision": 1, "key": "/works/OL19909498W", "title": "Verification techniques for system-level design", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL3365150A"}}, {"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL3365151A"}}, {"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL3365152A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2019-07-08T02:15:00.826803"}, "covers": [2320486], "revision": 1}