{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T18:37:36Z","timestamp":1722105456105},"reference-count":12,"publisher":"Walter de Gruyter GmbH","issue":"-1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,1,12]]},"DOI":"10.2478\/v10233-011-0031-3","type":"journal-article","created":{"date-parts":[[2012,1,13]],"date-time":"2012-01-13T04:57:13Z","timestamp":1326430633000},"source":"Crossref","is-referenced-by-count":1,"title":["Conversion of ST Control Programs to ANSI C for Verification Purposes"],"prefix":"10.2478","volume":"-1","author":[{"given":"Jan","family":"Sadolewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","reference":[{"key":"1","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384753","article-title":"An open source IEC 61131-3 integrated development environment","author":"E. Tisserant","year":"2007"},{"issue":"10","key":"2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","article-title":"Applying design by contract","volume":"25","author":"B. Meyer","year":"1992","journal-title":"Computer"},{"key":"3","unstructured":"J.-C. Filli\u00e2tre, T. Hubert, and C. March\u00e9, \"The Caduceus verification tool for C programs,\" [online] <a target=\"_blank\" href='http:\/\/caduceus.lri.fr'>http:\/\/caduceus.lri.fr<\/a>"},{"key":"4","unstructured":"J.-C. Filli\u00e2tre, \"The Why verification tool. tutorial and reference manual,\" [online] <a target=\"_blank\" href='http:\/\/www.lri.fr'>http:\/\/www.lri.fr<\/a>"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development","author":"Y. Bertot","year":"2004"},{"key":"6","volume-title":"JML: a Notation for Detailed Design","author":"G. Leavens","year":"1999"},{"key":"7","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976"},{"key":"8","volume-title":"Verification of complex programs for control systems","author":"J. Sadolewski","year":"2010"},{"issue":"2","key":"9","first-page":"305","article-title":"Assertional extension in ST language of IEC 61131-3 standard for control systems dynamic verification","author":"J. Sadolewski","year":"2011","journal-title":"Pomiary Automatyka Robotyka"},{"key":"10","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/10722010_8","volume-title":"Mathematics of Program Construction","author":"R. Bornat","year":"2000"},{"issue":"3","key":"11","first-page":"325","article-title":"Open environment for programming small controllers according to IEC 61131-3 standard","volume":"10","author":"D. Rzo\u0144ca","year":"2009","journal-title":"Scalable Computing Practice and Experience"},{"key":"12","volume-title":"Engineering a Compiler","author":"K. Cooper","year":"2003"}],"container-title":["e-Informatica Software Engineering Journal"],"original-title":[],"link":[{"URL":"https:\/\/www.degruyter.com\/view\/j\/einfo.ahead-of-print\/v10233-011-0031-3\/v10233-011-0031-3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T16:04:20Z","timestamp":1590854660000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/doi\/10.2478\/v10233-011-0031-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,12]]},"references-count":12,"journal-issue":{"issue":"-1"},"URL":"https:\/\/doi.org\/10.2478\/v10233-011-0031-3","relation":{},"ISSN":["1897-7979"],"issn-type":[{"value":"1897-7979","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,12]]}}}