(2004), pp. 57-68.
(1995), pp. 69-87.
Implementation and Application of Functional Languages (2005), pp. 35-51.
Knowledge-Based Systems, Vol. 17, No. 1. (January 2004), pp. 31-37.
J Am Med Inform Assoc, Vol. 7, No. 2. (r 2000), pp. 164-176.
(05 December 1994)
(2007), pp. 329-330.
Transactions on Visualization and Computer Graphics, Vol. 12, No. 6. (2006), pp. 1511-1522.
(2005), pp. 1064-1065.
(2005), pp. 541-552.
ACM Trans. Graph., Vol. 5, No. 3. (July 1986), pp. 211-243.
(1993), pp. 45-55.
(2003), pp. 159-168.
Electronic Notes in Theoretical Computer Science, Vol. 139, No. 1. (4 November 2005), pp. 145-168.
(2004), pp. 140-145.
IEEE Trans. Softw. Eng., Vol. 24, No. 7. (July 1998), pp. 498-520.
Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
Formal Methods and Software Engineering (2005), pp. 450-464.
(2002), pp. 359-370.
SIGSOFT Softw. Eng. Notes, Vol. 22, No. 6. (November 1997), pp. 244-261.
SIGSOFT Softw. Eng. Notes, Vol. 20, No. 4. (October 1995), pp. 128-139.
Behaviour & Information Technology, Vol. 13, No. 1. (1994), pp. 9-16.
SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409.
Computer, Vol. 35, No. 8. (2002), pp. 87-88.
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
(2006), pp. 9-14.
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419.
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370.
Formal Approaches to Software Testing (2006), pp. 16-31.
SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167.
(2004), pp. 154-163.
(2003), pp. 118-127.
Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 34-43.
ase, Vol. 0 (2003)
Journal of Symbolic Computation, Vol. 25, No. 2. (1998), pp. 161-194.
(1997), pp. 471-478.
Genome Biology, Vol. 9 (24 July 2008), R118.
Configurable Distributed Systems, 1996. Proceedings., Third International Conference on (1996), pp. 44-51.
Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on, Vol. 4 (1995), pp. 3122-3127 vol.4.
(1992), pp. 124-131.
(1987), pp. 175-188.
(1993), pp. 81-91.
(1990), pp. 875-880.
(1992), pp. 83-91.
(1989), pp. 313-320.