Cardinalities in software verification - Gleissenthall, Klaus Ulrich Kurt von (2016)
Keywords: Hochschulschrift