Aktive Facetten Hochschule für Angewandte Wissenschaften Hamburg Text 2009 Ehrig, Hartmut Orejas, Fernando
Towards Component Verification in the Generic Component Framework Padberg, Julia Ehrig, Hartmut Orejas, Fernando 2009 - ReposIt