> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Static Analysis of IMC Beteiligte: Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik Erschienen: Elsevier BV, 2012 Erschienen in: The Journal of Logic and Algebraic Programming Sprache: Englisch DOI: 10.1016/j.jlap.2012.03.011 ISSN: 1567-8326 Schlagwörter: Computational Theory and Mathematics ; Logic ; Theoretical Computer Science ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang