Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen

Browse the full ISoLA paper archive.