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

Citation metrics