Daniel Hazel, Paul A. Strooper, Owen Traynor. Requirements Engineering and Verification using Specification Animation. In ASE. pages 302-305, 1998. [doi]
@inproceedings{HazelST98,
title = {Requirements Engineering and Verification using Specification Animation},
author = {Daniel Hazel and Paul A. Strooper and Owen Traynor},
year = {1998},
url = {http://dlib.computer.org/conferen/ase/8750/pdf/87500302.pdf},
tags = {requirements engineering},
researchr = {https://researchr.org/publication/HazelST98},
cites = {0},
citedby = {0},
pages = {302-305},
booktitle = {ASE},
}