> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification Beteiligte: Danielsson, Nils Anders [Verfasser:in] Körperschaft: Association for Computing Machinery Erschienen: New York, NY: ACM, 2014 Erschienen in: ACM Digital Library ACM Conferences Umfang: Online-Ressource (1 online resource (60 pages)) Sprache: Englisch DOI: 10.1145/2541568 ISBN: 9781450325677 Identifikator: Schlagwörter: Computer science ; Software ; Theory of Computation ; Program semantics ; Program verification ; Proof theory ; Konferenzschrift Entstehung: Anmerkungen: