3
Publications
87
Citations
3
H-Index
2004
Active since
Affiliations
Jan Christiansen is an author at Christian-Albrechts-Universität zu Kiel specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSemanticsData ScienceVerificationData ManagementTest Automation
Publications per year
2004–2010
3
3
Rows per page
1–3 of 3