Dave Hill

1PUBLICATIONS
5CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Nov 02, 2022
Automated elaborate resection planning for bone tumor surgery.

Dave Hill, Tom Williamson, Chow Yin Lai

Pageof 1

Frequent Collaborators

1 joint publications

Tom Williamson

1 joint publications

Chow Yin Lai

1 joint publications

Martin Leary

1 joint publications

Milan Brandt