Verification of Interactive System Using Algebraic Specification. Vela, F. L. G., Gea, M., & Torres, J. C. In Markopoulos, P. & Johnson, P., 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, pages 68–84, 1998. Eurographics Association.
bibtex   
@inproceedings{DBLP:conf/dsvis/VelaGT98,
  author       = {Francisco Luis Guti{\'{e}}rrez Vela and
                  Miguel Gea and
                  Juan Carlos Torres},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {Verification of Interactive System Using Algebraic Specification},
  booktitle    = {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},
  pages        = {68--84},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Wed, 01 Jul 2020 21:28:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/VelaGT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0