Formal Foundations of Dynamic Types for Software Components (2000)

by Ralf H Reussner
Venue:Department of Informatics, Universität Karlsruhe