Martin Gro€e-Rhode

Semantic Integration of Heterogeneous Software Specifications