Rafael G. Aranda

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

César Andrés, Rafael G. Aranda, Manuel Núñez
Using formal methods to develop a complex information system: a practical/theoretical experience. SAC (2008)