Conference Proceedings

Supporting the software testing process through specification animation

T Miller, P Strooper

Proceedings of the 1st International Conference on Software Engineering and Formal Methods | Published : 2003

DOI: 10.1109/SEFM.2003.1236203

Citation metrics

7Scopus