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