Cardinalities in Software Verification

Klaus von Gleissenthall. Cardinalities in Software Verification. PhD thesis, Technical University Munich, Germany, 2016. [doi]

Abstract

Abstract is missing.