K. Kuiper is an author at Philips (Netherlands) specializing in computer engineering, automated reasoning, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For TestingAutomated Reasoning
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1