H. Wolters is an author at Diasa Industrial (Spain) specializing in formal verification, urology, and formal methods.
Top concepts
SurgeryUrologyMedicineNephrologyEngineeringPharmacologyFormal MethodsTransplantationKidney TransplantFormal Verification
Publications per year
2003–2004
2
2
Rows per page
1–2 of 2