Niels Groot Obbink is an author at Gran Sasso Science Institute specializing in formal verification, software maintenance, and computer engineering.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1