Towards a Unified View of Modeling and Programming (Track Summary).

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen

Browse the full ISoLA paper archive.