Witt, Jan2018-01-292018-01-291982https://dl.gi.de/handle/20.500.12116/15416deWeakest Precondition - Das aktuelle SchlagwortText/Journal Article