Towards Component Verification in the Generic Component Framework Link: http://hdl.handle.net/20.500.12738/3064 Autor/in: Padberg, Julia Ehrig, Hartmut Orejas, Fernando Erscheinungsjahr: 2009 Medientyp: Text Quellsystem: ReposIt Interne Metadaten Quelldatensatz oai:reposit.haw-hamburg.de:20.500.12738/3064