> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Languages: From Formal to Natural: Modular Verification of Strongly Invasive Aspects Beteiligte: Katz, Emilia; Katz, Shmuel Erschienen: Springer Berlin Heidelberg, 2009 Erschienen in: Languages: From Formal to Natural Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-642-01748-3_9 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: