Viehweger, W.W.ViehwegerBonn, G.G.Bonn2022-03-082022-03-081982https://publica.fraunhofer.de/handle/publica/313089de004Konzepte zur Erhoehung der Zuverlaessigkeit und Sicherheit von Software durch Rechnersysteme mit typengesteuerten Operationenconference paper