Francisco Luis Gutiérrez Vela, Miguel Gea, Juan Carlos Torres. Verification of Interactive System Using Algebraic Specification. In Panos Markopoulos, Peter Johnson, editors, Design, Specification and Verification of Interactive Systems 98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Volume 2 of pages 68-84, Eurographics Association, 1998.
@inproceedings{VelaGT98,
title = {Verification of Interactive System Using Algebraic Specification},
author = {Francisco Luis Gutiérrez Vela and Miguel Gea and Juan Carlos Torres},
year = {1998},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/VelaGT98},
cites = {0},
citedby = {0},
pages = {68-84},
booktitle = {Design, Specification and Verification of Interactive Systems 98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom},
editor = {Panos Markopoulos and Peter Johnson},
volume = {2},
publisher = {Eurographics Association},
}