| |
In Proc. Pattern Languages of Programs 2002. Revised papers from the Third Asia-Pacific Conference on Pattern Languages of Programs, (KoalaPLoP 2002). (2003)
|
| |
Lisp and Symbolic Computation, Vol. 4, No. 3. (June 1991)
|
| |
In ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis (2008), pp. 63-74.
|
| |
In ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (2006), pp. 199-208.
|
| |
In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5.
|
| |
In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 178-188.
|
| |
In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 319-343.
|
| |
In GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineering (2008), pp. 89-98.
|
| |
No. 2000-505. (10 April 2000)
|
| |
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 87-98.
|
| |
SIGPLAN Not., Vol. 33, No. 5. (1998), pp. 236-248.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 291-296.
|
| |
In VDM '90 (1990), pp. 150-163.
|
| |
|
| |
In ICWS '05 (2005), pp. 561-569.
|
| |
In ICWS '06 (2006), pp. 489-496.
|
| |
In ICWS '07 (2007), pp. 497-504.
|
| |
In ICWS '07 (2007), pp. 9-17.
|
| |
In ICWS '07 (2007), pp. 1-8.
|
| |
In FACS '06, Vol. Electronic Notes in Theoretical Computer Science Vol. 182 (June 2006), pp. 201-217.
|
| |
|
| |
Computer Aided Verification (2004), pp. 510-514.
|
| |
|
| |
Web Services and Formal Methods (2006), pp. 148-162.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 261-272.
|
| |
Programming Languages and Systems (1998), pp. 122-138.
|
| |
In PARLE '94: Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe (1994), pp. 398-413.
|
| |
In MSR-TR-2004-69 (July 2004)
|
| |
In ASE '03 (2003), pp. 152-161.
|
| |
IEEE Transactions on Software Engineering, Vol. 31, No. 12. (December 2005), pp. 1042-1055.
|
| |
In WWW '03: Proceedings of the 12th international conference on World Wide Web (2003), pp. 403-410.
|
| |
In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 621-630.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis (2004), pp. 252-262.
|
| |
C++ Report (December 1996)
|
| |
ECSCW 2005 (2005), pp. 247-266.
|
| |
ECSCW 2007 (2007), pp. 219-230.
|
| |
In GROUP '07: Proceedings of the 2007 international ACM conference on Supporting group work (2007), pp. 341-350.
|
| |
In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 493-500.
|
| |
In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 163-166.
|
| |
In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 469-478.
|
| |
|
| |
In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 352-364.
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 222-235.
|
| |
In FoSSaCS '98: Proceedings of the First International Conference on Foundations of Software Science and Computation Structure (1998), pp. 140-155.
|
| |
In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001), pp. 109-120.
|
| |
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. 15-18.
|
| |
In FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems (2005), pp. 106-114.
|
| |
In SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002), pp. 21-30.
|
| |
In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001), pp. 218-228.
|
Search
