@InProceedings{BeckertBeuster2004tum,
author = {Bernhard Beckert and Gerd Beuster},
title = {Formal Specification of Security-relevant Properties
of User Interfaces},
booktitle = {3rd International Workshop on
Critical Systems Development with UML},
address = {Munich, Germany},
note = {TU Munich Technical Report TUM-I0415},
year = {2004},
venue = {Lisbon, Portugal}
}
Formal Specification of Security-relevant Properties of User Interfaces
| Autor(en): | Bernhard Beckert und Gerd Beuster |
|---|---|
| In: | 3rd International Workshop on Critical Systems Development with UML |
| Jahr: | 2004 |
Anmerkung
TU Munich Technical Report TUM-I0415