Antonio Jesús Álvarez

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jun 28, 2024
Novel program for automatic calculation of EPG variables.

Elisa Garzo, Antonio Jesús Álvarez, Aránzazu Moreno

Pageof 1

Frequent Collaborators

1 joint publications

Elisa Garzo

1 joint publications

Alberto Fereres