Universes: Lightweight ownership for JML (0)

by W Dietl, P Müller
Venue:Journal of Object Technology