DMCA

An Institutional Framework for Heterogeneous Formal Development in UML

Cached

Download Links

by Till Mossakowski , Markus Roggenbach