| |
Automated Software Engineering, Vol. 8, No. 3. (2001), pp. 275-310.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 1-13.
|
| |
Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313.
|
| |
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.
|
| |
Advanced Functional Programming (2003), pp. 159-187.
|
| |
Interactive Systems Design, Specification, and Verification (2001), pp. 135-150.
|
| |
|
| |
|
| |
In SPIN (2000), pp. 113-130.
|
| |
Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 17-26.
|
| |
Computer Aided Verification (1997), pp. 72-83.
|
| |
In Automated Software Engineering Journal, Vol. 10 (2000), pp. 3-12.
|
| |
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.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002), pp. 243-259.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167.
|
| |
|
| |
In Workshop on Type Theory and its Application to Computer Systems, Kyoto University (July 1993)
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
|
| |
|
| |
In ESOP, No. 4421. (2007), pp. 2-17.
|
| |
|
| |
|
| |
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.
|
| |
Constraints, Vol. 13, No. 3. (2008), pp. 307-342.
|
| |
In ESORICS '08: Proceedings of the 13th European Symposium on Research in Computer Security (2008), pp. 533-547.
|
| |
|
| |
|
| |
In Higher-order and Symbolic Computation, Vol. 13 (1999), pp. 105-118.
|
| |
In DLS '08: Proceedings of the 2008 symposium on Dynamic languages (2008), pp. 1-12.
|
| |
|
| |
In In Proceedings of the 21st International Conference on Software Engineering (1999), pp. 411-420.
|
| |
|
| |
ACM SIGSOFT Software Engineering Notes, Vol. 28, No. 5. (September 2003), pp. 267-276.
|
| |
In In Proceedings of the 18th International Conference on Automated Software Engineering (2003), pp. 116-129.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 188-197.
|
| |
Computer Aided Verification (2003), pp. 433-445.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2007), pp. 44-58.
|
| |
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
|
| |
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 ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 75-86.
|
| |
|
Search
