johann blieberger
Reliable Software Technologies - Ada-Europe 2017
Print on DemandThis book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on...
Symbolic Analysis
Print on DemandStatic program analysis aims to determine the dynamic behavior of programs without actually execu...
Reliable Software Technologies - Ada-Europe 2002
Print on DemandThis book constitutes the refereed proceedings of the 7th International Conference on Reliable So...
Informatik
Print on DemandEine unkonventionelle, auf intuitives Verständnis ausgerichtete Einführung in die theoretischen G...
- 1