Heterogeneous Specification and the Heterogeneous Tool Set.” Habilitation thesis (2005)

by T Mossakowski