Raúl Gutiérrez

Raúl Gutiérrez is an author at Universitat Politècnica de València specializing in engineering, automated reasoning, and formal methods.

Publications per year

1996–2021

16

Publications

16