Nickl, FriederikePaech, Barbara2020-05-042020-05-041994https://dl.gi.de/handle/20.500.12116/32776deFormale und pragmatische Methoden im SoftwareentwicklungsprozeßText/Journal Article0944-0925