Task RA[2]: Views

We will extend the heterogeneous refinement language towards views; that is, refinements and views become first-class objects, which can be named, composed, translated, combined and last but not least applied to particular systems.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:43:15