> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Software verification at Bell Labs: One line of development Beteiligte: Holzmann, Gerard J. Erschienen: Institute of Electrical and Electronics Engineers (IEEE), 2002 Erschienen in: Bell Labs Technical Journal Sprache: Englisch DOI: 10.1002/bltj.2206 ISSN: 1089-7089 Schlagwörter: Electrical and Electronic Engineering Entstehung: Anmerkungen: