> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Formale Konsistenzsicherung in informellen Software-Spezifikationen Beteiligte: Scheffczyk, Jan; Stutz, Christiane; Borghoff, UweM.; Siedersleben, Johannes Erschienen: Springer Science and Business Media LLC, 2004 Erschienen in: Informatik Forschung und Entwicklung Sprache: Deutsch DOI: 10.1007/s00450-004-0161-9 ISSN: 0949-2925; 0178-3564 Schlagwörter: General Computer Science ; General Computer Science Entstehung: Anmerkungen: