> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: The powerset operator on abstract interpretations Beteiligte: Filé, Gilberto; Ranzato, Francesco Erschienen: Elsevier BV, 1999 Erschienen in: Theoretical Computer Science, 222 (1999) 1-2, Seite 77-111 Sprache: Englisch DOI: 10.1016/s0304-3975(98)00007-3 ISSN: 0304-3975 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang