{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:44Z","timestamp":1725566864175},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236115"},{"type":"electronic","value":"9783540304722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30472-2_9","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T16:07:39Z","timestamp":1285258059000},"page":"140-152","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Teaching of Formal Methods"],"prefix":"10.1007","author":[{"given":"Peter","family":"Pepper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J.P. Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Computer\u00a028(4), 56\u201363 (1995)","journal-title":"IEEE Computer"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","first-page":"105","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"M.G. Hinchey","year":"1994","unstructured":"Hinchey, M.G., Bowen, J.P.: Seven more myths of formal methods: Dispelling industrial prejudices. In: Bertran, M., Naftalin, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 105\u2013117. Springer, Heidelberg (1994)"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.: Formal methods: State of the art and future directions. ACM Comp Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Comp Surveys"},{"key":"9_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Springer, Heidelberg (1981)"},{"key":"9_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-98002-2","volume-title":"Funktionale Programmierung in Opal, Ml, Haskell und Gofer","author":"P. Pepper","year":"1999","unstructured":"Pepper, P.: Funktionale Programmierung in Opal, Ml, Haskell und Gofer. Springer, Heidelberg (1999)"},{"key":"9_CR6","volume-title":"Programmieren mit Java","author":"P. Pepper","year":"2004","unstructured":"Pepper, P.: Programmieren mit Java. Springer, Heidelberg (2004)"},{"key":"9_CR7","unstructured":"Johnson, S.D., Alexander, W.P., Chin, S.-K., Gopalakrishnan, G.: 21st century engineering consortium workshop (XXIEC): a forum on formal methods education. Technical report (March 1998), \n                  \n                    http:\/\/www.cs.indiana.edu\/formal-methods-education\/xxiec\/report.html"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30472-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:02:31Z","timestamp":1620000151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}