> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A tale of three programs Beteiligte: Holzmann, Gerard J. Erschienen: Institute of Electrical and Electronics Engineers (IEEE), 2017 Erschienen in: IEEE Software Sprache: Nicht zu entscheiden DOI: 10.1109/ms.2017.62 ISSN: 0740-7459; 1937-4194 Schlagwörter: Software Entstehung: Anmerkungen: