{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:10:54Z","timestamp":1725437454450},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/sera.2005.41","type":"proceedings-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T14:52:38Z","timestamp":1136472758000},"page":"282-287","source":"Crossref","is-referenced-by-count":0,"title":["Formal verification of structured analysis and design in HOS"],"prefix":"10.1109","author":[{"given":"C.-C.","family":"Chiang","sequence":"first","affiliation":[]},{"given":"R.","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(88)90011-0"},{"key":"2","first-page":"486","article-title":"Structure Charts and Program Correctness Proofs","author":"chyou","year":"1984","journal-title":"6th Int Conf Software Engineering"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00016-5"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90037-X"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264565"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(83)90004-3"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233798"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00065-4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00073-V"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)99364-S"}],"event":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","start":{"date-parts":[[2005,8,11]]},"location":"Mount Pleasant, MI, USA","end":{"date-parts":[[2005,8,13]]}},"container-title":["Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10451\/33175\/01563174.pdf?arnumber=1563174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T19:52:02Z","timestamp":1489521122000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1563174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/sera.2005.41","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}
