Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
| Titel: | Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum / Diego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy |
|---|---|
| Verfasser: | |
| Beteiligt: | ; ; |
| Veröffentlicht: | München : Universitätsbibliothek der TU München, 2019 |
| Umfang: | Online-Ressource |
| Format: | E-Book |
| Sprache: | Englisch |
| Hochschulschrift: | Dissertation, München, Technische Universität München, 2019 |
X
