Using Use Cases in Executable Z

Wolfgang Grieskamp, Markus Lepper. Using Use Cases in Executable Z. In ICFEM. pages 111-120, 2000. [doi]

@inproceedings{GrieskampL00:0,
  title = {Using Use Cases in Executable Z},
  author = {Wolfgang Grieskamp and Markus Lepper},
  year = {2000},
  url = {http://computer.org/proceedings/icfem/0822/08220111abs.htm},
  researchr = {https://researchr.org/publication/GrieskampL00%3A0},
  cites = {0},
  citedby = {0},
  pages = {111-120},
  booktitle = {ICFEM},
}