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
Conference Proceedings
T Miller, P Strooper
Proceedings of the 1st International Conference on Software Engineering and Formal Methods | Published : 2003