Documents Savoirs Verification of non-regular program properties [Elektronische Ressource] / vorgelegt von Roland Axelsson Roland Axelsson