| |
|
| |
In CHINZ '06: Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction (2006), pp. 67-74.
|
| |
Advanced Functional Programming (1996), pp. 1-37.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 106-117.
|
| |
In TAMODIA '04: Proceedings of the 3rd annual conference on Task models and diagrams (2004), pp. 129-136.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 851-854.
|
| |
In CHINZ '08: Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction (2008), pp. 1-8.
|
| |
Constraints, Vol. 13, No. 3. (2008), pp. 307-342.
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 263-273.
|
| |
In Theoretical and Practical Aspects of SPIN Model Checking (SPIN ’99), volume 1680 of Lecture Notes in Computer Science (1999), pp. 120-135.
|
| |
Vol. 75 (1999), pp. 167-177.
|
| |
Interactive Systems Design, Specification, and Verification (2001), pp. 135-150.
|
| |
Automated Software Engineering, Vol. 8, No. 3. (2001), pp. 275-310.
|
| |
Information Technology: Coding and Computing, 2005. ITCC 2005. International Conference on In Information Technology: Coding and Computing, 2005. ITCC 2005. International Conference on, Vol. 2 (2005), pp. 359-364 Vol. 2.
|
| |
|
| |
|
| |
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 321-330.
|
| |
Behaviour & Information Technology, Vol. 13, No. 1. (1994), pp. 9-16.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
|
| |
|
| |
|
| |
Formal Approaches to Software Testing (2006), pp. 16-31.
|
| |
Formal Methods and Software Engineering (2005), pp. 450-464.
|
| |
|
| |
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409.
|
| |
Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on In Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 34-43.
|
| |
In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 118-127.
|
| |
Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
|
| |
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
|
| |
|
| |
Computer In Computer, Vol. 35, No. 8. (2002), pp. 87-88.
|
| |
Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
|
| |
In ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference (2004), pp. 140-145.
|
| |
In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 9-14.
|
| |
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
|
| |
In ICFEM '02: Proceedings of the 4th International Conference on Formal Engineering Methods (2002), pp. 359-370.
|
| |
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.
|
| |
In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering (2004), pp. 154-163.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004), Vol. 139, No. 1. (4 November 2005), pp. 145-168.
|
| |
IEEE Trans. Softw. Eng., Vol. 24, No. 7. (July 1998), pp. 498-520.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 20, No. 4. (October 1995), pp. 128-139.
|
| |
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 22, No. 6. (November 1997), pp. 244-261.
|
| |
Electr. Notes Theor. Comput. Sci., Vol. 139, No. 1. (2005), pp. 145-168.
|
Search
