Proving the Refinement of Scenarios into Object-Oriented Models

Cached

Download Links

by M. Frappier , R. Laleau