{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:56:37Z","timestamp":1648896997181},"reference-count":12,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Science Education"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1080\/0899340950060105","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T12:37:24Z","timestamp":1182775044000},"page":"67-91","source":"Crossref","is-referenced-by-count":1,"title":["(In)Formal Methods: Teaching Program Derivation Via the Moore Method"],"prefix":"10.1080","volume":"6","author":[{"given":"James A.","family":"Foster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Barnett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen Van","family":"Houten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luke","family":"Sheneman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9706-9","volume-title":"Programming in the 1990s: An Introduction to the Calculation of Programs","author":"Cohen E.","year":"1990"},{"key":"CIT0002","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976"},{"key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"Dijkstra E.","year":"1990"},{"key":"CIT0004","volume-title":"Programming: The Derivation of Algorithms","author":"Kaldewaij A.","year":"1990"},{"key":"CIT0005","volume-title":"More Mathematical People","author":"Albers D.","year":"1990"},{"key":"CIT0006","unstructured":"1990. \u201cFormal Methods: Prelude to Virtuoso Software\u201d.Computer, 23(9) Sept. [Special Issue on Formal Methods.]"},{"key":"CIT0007","unstructured":"1990. \u201cApplications of Formal Methods: Developing Virtuoso Software\u201d.IEEE Software, 7(9) Sept. [Special Issue on Formal Methods.]"},{"key":"CIT0008","unstructured":"1990. \u201cFormal Methods in Software Engineering\u201d.IEEE Transactions on Software Engineering, 16(9) Sept. [Special Issue on Formal Methods.]"},{"key":"CIT0009","first-page":"229","volume-title":"Formal Development of Programs and Proofs","author":"Gries D.","year":"1990"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1145\/102868.102870"},{"key":"CIT0011","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A Logical Approach to Discrete Math","author":"Gries D.","year":"1993"},{"key":"CIT0012","first-page":"21","volume":"25","author":"Almstrum V.","year":"1993","journal-title":"SIGSCE Bulletin"}],"container-title":["Computer Science Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0899340950060105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T14:09:59Z","timestamp":1556546999000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0899340950060105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/0899340950060105"],"URL":"https:\/\/doi.org\/10.1080\/0899340950060105","relation":{},"ISSN":["0899-3408","1744-5175"],"issn-type":[{"value":"0899-3408","type":"print"},{"value":"1744-5175","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}