Gabriel, R.R.GabrielJähnichen, S.S.Jähnichen2022-03-022022-03-021990https://publica.fraunhofer.de/handle/publica/178135en004005006003ToolUse: A uniform approach to formal program developmentjournal article