Formal, informal and constructive methods in development of secure systems
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 223392 |
| Erscheinungsvermerk | In: System security. Ed.: T. Beth. Saarbruecken 1992. (Dagstuhl-Seminar-Report. 37.) |