2 citations · 2 across the 1 of their papers we have counts for
1 paper
Eike Möhlmann, Oliver Theel
Abstraction and refinement is widely used in software development. Such techniques are valuable since they allow to handle even more complex systems. One key point is the ability t…