David Schmidt

Books
Arbeiterexistenzen im Vörmärz Arbeiterexistenzen im Vörmärz
Arbeiterexistenzen im Vörmärz
2012
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2011