{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:26:11Z","timestamp":1725798371737},"publisher-location":"Cham","reference-count":4,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104300"},{"type":"electronic","value":"9783319104317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_21","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T09:27:28Z","timestamp":1407144448000},"page":"278-283","source":"Crossref","is-referenced-by-count":5,"title":["A Toolset for Support of Teaching Formal Software Development"],"prefix":"10.1007","author":[{"given":"\u0160tefan","family":"Kore\u010dko","sequence":"first","affiliation":[]},{"given":"J\u00e1n","family":"Sor\u00e1d","sequence":"additional","affiliation":[]},{"given":"Zuzana","family":"Dudl\u00e1kov\u00e1","sequence":"additional","affiliation":[]},{"given":"Branislav","family":"Sobota","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-018-2","volume-title":"Rigorous Software Development. An Introduction to Program Verification","author":"J.B. Almeida","year":"2011","unstructured":"Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.: Rigorous Software Development. An Introduction to Program Verification. Springer, London (2011)"},{"key":"21_CR2","unstructured":"Cerone, A., Roggenbach, M., Schlingloff, H., Schneider, G., Shaikh, S.: Teaching Formal Methods for Software Engineering Ten Principles. In: Fun With Formal Methods, Workshop Affiliated with the 25th Int. Conf. CAV 2013 (2013)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Cristi, M.: Teaching formal methods in a third world country: what, why and how. In: Proceedings of the 2006 Conference on Teaching Formal Methods: Practice and Experience (2006)","DOI":"10.14236\/ewic\/TFM2006.10"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-30472-2_3","volume-title":"Teaching Formal Methods","author":"J.N. Reed","year":"2004","unstructured":"Reed, J.N., Sinclair, J.E.: Motivating study of Formal Methods in the classroom. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 32\u201346. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T21:59:35Z","timestamp":1598133575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}