Fernando Rivas-Navazo

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Mar 26, 2025
Protocol for Converting DICOM Files to STL Models Using 3D Slicer and Ultimaker Cura.

Malena Pérez-Sevilla, Fernando Rivas-Navazo, Pedro Latorre-Carmona

Pageof 1

Frequent Collaborators

1 joint publications

Malena Pérez-Sevilla

1 joint publications

Pedro Latorre-Carmona

1 joint publications

Darío Fernández-Zoppino