{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T07:51:07Z","timestamp":1648626667668},"reference-count":20,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1080\/095281300454784","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:47:33Z","timestamp":1027684053000},"page":"383-406","source":"Crossref","is-referenced-by-count":5,"title":["Formal software development in the Verification Support Environment (VSE)"],"prefix":"10.1080","volume":"12","author":[{"given":"Dieter","family":"Hutter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Langenstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg H.","family":"Siekmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Vogt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","first-page":"398","volume-title":"Lecture Notes in Computer Science","volume":"552","author":"Abrial J.-R.","year":"1991"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59851-7","volume-title":"Algebraic foundations of systems specification","author":"Astesiano E.","year":"1999"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095435"},{"key":"CIT0004","volume-title":"Proceedings Workshop on Algebraic Development Techniques, WADT-99","author":"Autexier S.","year":"2000"},{"key":"CIT0005","volume-title":"A Computational Logic","author":"Boyer R. S.","year":"1979"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"CIT0007","series-title":"volume 230 of LNCS","first-page":"131","volume-title":"Proceedings of the 8th International Conference on Automated Deduction","author":"Heisel M.","year":"1986"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005772217686"},{"key":"CIT0009","volume-title":"Proceedings Automated Software Engineering, ASE-2000","author":"Hutter D.","year":"2000"},{"key":"CIT0010","volume-title":"Proceedings Formal Methods Europe 1996: Industrial Benefits and Advances in Formal Methods","author":"Hutter D.","year":"1996"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48257-1_26"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"CIT0014","volume-title":"Specification of Abstract Data Types","author":"Loeckx J.","year":"1995"},{"key":"CIT0015","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna Z.","year":"1991"},{"key":"CIT0016","first-page":"56","volume":"6","author":"Nelson T.","year":"1980","journal-title":"Creative Computing"},{"key":"CIT0017","series-title":"volume 620 of LNCS","volume-title":"Symposium on Logical Foundations of Computer Science","author":"Reif W.","year":"1992"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-3-7091-6355-9_16","volume-title":"Tool Support for System Specification, Development and Verification, Advances in Computing Science","author":"Rock G.","year":"1999"},{"key":"CIT0019","first-page":"291","volume":"7","author":"Rutkowski C.","year":"1982","journal-title":"BYTE"},{"key":"CIT0020","volume-title":"The Z Notation: A Reference Manual. Series in Computer Science","author":"Spivey J. M.","year":"1992"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281300454784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T02:43:45Z","timestamp":1497494625000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281300454784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["10.1080\/095281300454784"],"URL":"https:\/\/doi.org\/10.1080\/095281300454784","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}