From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony

Sergiu Dascalu, Peter Hitchcock, Narayan C. Debnath, Andrew Klempau. From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. In Du Zhang, Éric Grégoire, Doug DeGroot, editors, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA. pages 215-221, IEEE Systems, Man, and Cybernetics Society, 2004.

@inproceedings{DascaluHDK04,
  title = {From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony},
  author = {Sergiu Dascalu and Peter Hitchcock and Narayan C. Debnath and Andrew Klempau},
  year = {2004},
  tags = {translation, C++},
  researchr = {https://researchr.org/publication/DascaluHDK04},
  cites = {0},
  citedby = {0},
  pages = {215-221},
  booktitle = {Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA},
  editor = {Du Zhang and Éric Grégoire and Doug DeGroot},
  publisher = {IEEE Systems, Man, and Cybernetics Society},
  isbn = {0-7803-8819-4},
}