{"publishers": ["Springer"], "subtitle": "Proceedings (Lecture Notes in Computer Science)", "last_modified": {"type": "/type/datetime", "value": "2008-04-29 13:35:46.87638"}, "title": "Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ", "type": {"key": "/type/edition"}, "number_of_pages": 433, "isbn_13": ["9780387573168"], "isbn_10": ["038757316X"], "publish_date": "October 1993", "key": "/b/OL7447401M", "contributions": ["Manfred Broy (Editor)", "Dines Bjorner (Editor)", "Igor V. Pottosin (Editor)"], "id": 10141932, "revision": 1}