Aditya V. Nori and Ashok Sreenivas 2001
In: Proceedings of the Second International Workshop on Software Engineering Tools and Techniques