| |
In FTP 2007 - International Workshop on First-Order Theorem Proving (September 2007)
|
| |
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 281-286.
|
| |
In In Proc. 6th FroCoS (2007), pp. 148-162.
|
| |
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 196-207.
|
| |
Journal of Automated Reasoning, Vol. 40, No. 4. (1 May 2008), pp. 245-269.
|
| |
Journal of Automated Reasoning, Vol. 43, No. 3. (1 October 2009), pp. 263-288.
|
| |
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on In Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on (2003), pp. 75-79.
|
| |
Building the Information Society (2004), pp. 527-535.
|
| |
Journal of Automated Reasoning: Special Issue on Operating System Verification (2009)
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 226-238.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 69-80.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61.
|
| |
|
| |
|
| |
|
| |
Static Analysis (2007), pp. 170-183.
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 217 (2008), pp. 41-59.
|
| |
In MPC '00: Proceedings of the 5th International Conference on Mathematics of Program Construction (2000), pp. 102-126.
|
| |
|
| |
SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 97-108.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 268-280.
|
| |
Static Analysis (2007), pp. 402-418.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 212 (2008), pp. 225-239.
|
| |
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues (2008), pp. 264-271.
|
| |
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 171-182.
|
| |
SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 129-140.
|
| |
|
| |
In Proceedings of the {C/C++} Verification Workshop, Vol. Technical Report ICIS-R07015 (jul 2007)
|
| |
Computer Science Logic (2001), pp. 1-19.
|
| |
(2004)
posted to coq by _Anne_
on 2008-06-06 09:20:28
as 
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 209-220.
|
| |
Computer Aided Verification (2007), pp. 173-177.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 1. (25 November 1998), pp. 46-67.
|
| |
In Proceedings of the Foundations of Aspect-Oriented Languages Workshop (FOAL) (April 2008)
|
| |
In Proceedings of the 17th European Symposium on Programming (ESOP) (March 2008)
|
| |
In Proceedings of the 13th International Static Analysis Symposium (SAS) (August 2006)
|
| |
In A Discipline of Programming (1976)
|
| |
: Compiler Construction (1992), pp. 125-140.
|
| |
In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), pp. 238-252.
|
| |
FM’99 — Formal Methods (1999), pp. 719-719.
|
| |
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on In Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on (1994), pp. 252-258.
|
| |
|
| |
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
Formal Methods and Software Engineering (2004), pp. 15-29.
|
| |
Programming Languages and Systems (2005), pp. 21-30.
|
Search
