Charles Glaus

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Oct 01, 2021
Automatic Quantification of Atherosclerosis in Contrast-Enhanced MicroCT Scans of Mouse Aortas Ex Vivo.

Vincent A Stadelmann, Gabrielle Boyd, Martin Guillot

Pageof 1

Frequent Collaborators

1 joint publications

Vincent A Stadelmann

1 joint publications

Gabrielle Boyd

1 joint publications

Aurore Varela