{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:12Z","timestamp":1725627612301},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129059"},{"type":"electronic","value":"9783642693939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69393-9_2","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:20Z","timestamp":1320229160000},"page":"26-40","source":"Crossref","is-referenced-by-count":0,"title":["Programmverifikation in lauff\u00e4higen PASCAL-Programmen"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Hohlfeld","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"AdaTEC (Ed.): Reference Manual for the Ada Programming Language -Draft-. United States Department of Defense, July 1982"},{"key":"2_CR2","unstructured":"British Standards Institution: Specification for Computer Programming Language Pascal. BS 6192: 1982"},{"key":"2_CR3","volume-title":"Report on A Wide Spectrum Language for Program Specification and Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-18104, May","author":"The CIP Language Group","year":"1981","unstructured":"The CIP Language Group: Report on A Wide Spectrum Language for Program Specification and Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-18104, May 1981"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Hoare,C. A. R.: An Axiomatic Basis for Computer Programming. Communications of the ACM, Vol 12 No 10 (1969), 576 - 583","DOI":"10.1145\/363235.363259"},{"key":"2_CR5","unstructured":"Hoare,C. A. R. and Wirth,N.: An Axiomatic Definition of the Programming Language PASCAL, acta informatica 2, 335 - 355 (1973)"},{"key":"2_CR6","unstructured":"Hohlfeld,B.: Zur Verifikation von Funktionen und Prozeduren in PASCAL. AEG-TELEFUNKEN, Forschungsinstitut Ulm, Technischer Bericht Nr. 12.010\/82"},{"key":"2_CR7","unstructured":"Hohlfeld,B.: Implementierung von abstrakten Datentypen in PASCAL-Programmen. AEG-TELEFUNKEN, Forschungsinstitut Ulm,"},{"key":"2_CR8","unstructured":"Technischer Bericht Nr. 12. 026\/83"},{"key":"2_CR9","unstructured":"Hohlfeld,B.: Verifikationsregeln f\u00fcr eine PASCAL-Untermenge mit Modulkonzept. AEG-TELEFUNKEN, Forschungsinstitut Ulm,"},{"key":"2_CR10","unstructured":"Technischer Bericht Nr. 12. 050\/83"},{"key":"2_CR11","volume-title":"PASCAL: User manual and report","author":"Jensen,K. and Wirth,N.","year":"1975","unstructured":"Jensen,K. and Wirth,N.: PASCAL: User manual and report. Springer, New York 1975"},{"key":"2_CR12","unstructured":"Stanford PASCAL Verifier - User Manual. Computer Science Departement Stanford University 1979"},{"key":"2_CR13","volume-title":"Language Reference Manual. digital equipment corporation","author":"PASCAL VAX-11 V1.2","year":"1979","unstructured":"VAX-11 PASCAL V1.2: Language Reference Manual. digital equipment corporation, Maynard, Massachusetts 1979"},{"key":"2_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96717-7","volume-title":"Programming in MODULA-2","author":"Wirth.N.","year":"1982","unstructured":"Wirth.N.: Programming in MODULA-2. Springer-Verlag, Berlin 1982"},{"key":"2_CR15","unstructured":"Wolter (ed): H\u00f6here Programmiersprachen f\u00fcr Industrieroboter. Kernforschungszentrum Karlsruhe, KFK - PFT 51"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69393-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:47Z","timestamp":1606257227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69393-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129059","9783642693939"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69393-9_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}