> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Towards verification of C# programs: A three-level approach Beteiligte: Nepomniaschy, V. A.; Anureev, I. S.; Dubranovskii, I. V.; Promsky, A. V. Erschienen: Pleiades Publishing Ltd, 2006 Erschienen in: Programming and Computer Software, 32 (2006) 4, Seite 190-202 Sprache: Englisch DOI: 10.1134/s0361768806040025 ISSN: 0361-7688; 1608-3261 Schlagwörter: Software Entstehung: Anmerkungen: