Verification of Interactive System Using Algebraic Specification

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