| |
Journal of Automated Reasoning, Vol. 41, No. 1. (1 July 2008), pp. 1-31.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 4. (July 2007), pp. 3-11.
|
| |
Theorem Proving in Higher Order Logics (2008), pp. 167-182.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 429-440.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 302-314.
|
| |
Computer Aided Verification (2007), pp. 173-177.
|
| |
In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems (2007), pp. 1-6.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 59-69.
|
| |
Runtime Verification (2007), pp. 202-213.
|
| |
Verification, Model Checking, and Abstract Interpretation (2008), pp. 203-217.
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 2. (April 2007), pp. 37-49.
|
| |
|
| |
In Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, Vol. 3125 (July 2004), pp. 85-109.
|
| |
SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 42-54.
|
| |
Automated Deduction — CADE-15 (1998), pp. 317-332.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (1999), pp. 119-134.
|
| |
In DATE '03: Proceedings of the conference on Design, Automation and Test in Europe (2003)
|
| |
Computer Aided Verification (1999), pp. 686-686.
|
CiteULike
pedagand's CiteULike
Search
Export
