Spillner, Andreas2022-03-022022-03-022017978-3-86490-470-7978-3-96088-381-43-86490-470-6https://publica.fraunhofer.de/handle/publica/162226Test, Analyse und Verifikation von Software - gestern, heute, morgen