Alexandru F. Iosif-Lazăr is an author at IT University of Copenhagen specializing in formal methods, computer engineering, and system software.
Top concepts
DesignEngineeringVerificationFormal MethodsDesign ThinkingSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware Testing
Publications per year
2015–2017
2
2
Rows per page
1–2 of 2