> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; Bericht; E-Artikel; E-Book Titel: Program Analysis (Dagstuhl Seminar 99151) Beteiligte: Hanne, Riis Nielson [Verfasser:in]; Sagiv, Mooly [Verfasser:in] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1999 Sprache: Englisch DOI: https://doi.org/10.4230/DagSemRep.236 Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang