David E Clark

2PUBLICATIONS
0CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Nov 06, 2026
Improved Programs for Injury Categorization Using ICD-10.

Pageof 1

Frequent Collaborators