48
Publications
2.2K
Citations
26
H-Index
1996
Active since
Arnaud Gotlieb is an author at Simula Research Laboratory specializing in engineering, computer science, and software testing.
Top concepts
EngineeringComputer ScienceSoftware TestingProgram AnalysisSoftware AnalysisSoftware EngineeringSystems EngineeringComputer EngineeringFormal MethodsFormal Verification
Publications per year
1996–2023
48
48
Rows per page
1–5 of 48