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}, }