C. Strond is an author at Alcatel Lucent (Germany) specializing in formal verification, engineering, and design for testing.
Top concepts
EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisDesign For TestingFormal VerificationSystems Engineering
Publications per year
2003–2003
1
1
Rows per page
1–1 of 1