G-KARL: A Graphical, Formal, and Executable Specification Language - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jürgen Angele, Rudi Studer. G-KARL: A Graphical, Formal, and Executable Specification Language. In XPS. pages 33-47, 1997.

@inproceedings{AngeleS97,
  title = {G-KARL: A Graphical, Formal, and Executable Specification Language},
  author = {Jürgen Angele and Rudi Studer},
  year = {1997},
  researchr = {https://researchr.org/publication/AngeleS97},
  cites = {0},
  citedby = {0},
  pages = {33-47},
  booktitle = {XPS},
}

runs on WebDSL