Towards a Unified View of Modeling and Programming.

Manfred Broy, Klaus Havelund, Rahul Kumar

Browse the full ISoLA paper archive.