José Luis Fernández Alemán, José Ambrosio Toval Álvarez. Modelado formal y ejecutabilidad de diagramas de clases de UML. In Pere Botella, Juan Hernández, Fèlix Saltor, editors, IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999. pages 283-294, Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, 1999.
@inproceedings{AlemanA99, title = {Modelado formal y ejecutabilidad de diagramas de clases de UML}, author = {José Luis Fernández Alemán and José Ambrosio Toval Álvarez}, year = {1999}, tags = {UML}, researchr = {https://researchr.org/publication/AlemanA99}, cites = {0}, citedby = {0}, pages = {283-294}, booktitle = {IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999}, editor = {Pere Botella and Juan Hernández and Fèlix Saltor}, publisher = {Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura}, isbn = {84-699-0956-8}, }