{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Bridge between Human Tongue and Computer Language: Automated Conversion from a Requirements Document to an Executable Formal Specification","author_name":"Beum-Seuk Lee","thumbnail_url":"https://www.ebooknetworking.net/books/363/907/big3639079248.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-3639079248.html\">Bridge between Human Tongue and Computer Language: Automated Conversion from a Requirements Document to an Executable Formal Specification</a>","width":400,"height":300}