Estefanía Rosales

Publication Activity (10 Years)

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

Publications

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
Using XML to implement abstraction for Model Checking. SAC (2002)