1
Publications
27
Citations
1
H-Index
1995
Active since
Affiliations
Technische Universität Berlin(Current)
Ingo Claßen is an author at Technische Universität Berlin specializing in software design, computer science, and semantics.
Top concepts
SyntaxLanguageSemanticsEngineeringFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1995–1995
1
1
Rows per page
1–1 of 1