> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Session details: Higher-order model checking and slicing Beteiligte: Runciman, Colin Erschienen: Association for Computing Machinery (ACM), 2012 Erschienen in: ACM SIGPLAN Notices, 47 (2012) 9 Sprache: Englisch DOI: 10.1145/3261805 ISSN: 1558-1160; 0362-1340 Schlagwörter: Computer Graphics and Computer-Aided Design ; Software Entstehung: Anmerkungen: