> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Logic for Programming, Artificial Intelligence, and Reasoning: Automatic Certification of Heap Consumption Beteiligte: Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha Erschienen: Springer Berlin Heidelberg, 2005 Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-540-32275-7_23 ISSN: 1611-3349; 0302-9743 Entstehung: Anmerkungen: