| |
Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 239-257.
|
| |
|
| |
|
| |
Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
In Proceedings of the Verify'06 Verification Workshop (2006)
|
| |
|
| |
Computer Security Foundations Workshop V, 1992. Proceedings. In 5th IEEE Computer Security Foundations Workshop (CSFW '92) (1992), pp. 22-33.
|
| |
In 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) (2009)
|
| |
|
| |
SIGPLAN Notices, Vol. 11, No. 5. (1976), pp. 64-68.
|
| |
Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 25-44.
|
| |
In Twenty Five Years of Constructive Type Theory (1998)
|
| |
|
| |
IEEE Annals of the History of Computing, Vol. 25, No. 2. (2003), pp. 26-49.
|
| |
Foundations of Computer Science, 1977., 18th Annual Symposium on In Symposium on Foundations of Computer Science, Vol. 0 (18 July 2008), pp. 46-57.
|
| |
12th IEEE Computer Security Foundations Workshop In 12th IEEE Computer Security Foundations Workshop (1999), pp. 92-95.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3. (1982), pp. 455-495.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. SE-3, No. 2. (1977), pp. 125-143.
|
| |
ZUM '95: The Z Formal Specification Notation In ZUM '95: The Z Formal Specification Notation, Vol. 967 (1995), pp. 105-113.
|
| |
|
| |
International Specialist Seminar on the Design and Application of Parallel Digital Processors In International Specialist Seminar on the Design and Application of Parallel Digital Processors (1988), pp. 87-93.
|
| |
|
| |
FME'96: Industrial Benefit and Advances in Formal Methods, Vol. 1051 (1996), pp. 1-17.
|
| |
|
| |
|
| |
Journal of Automated Reasoning
|
| |
|
| |
Computer Security – ESORICS 2006 In Computer Security – ESORICS 2006, Vol. 4189 (2006), pp. 362-383.
|
| |
No. UCAM-CL-TR-413. (January 1997)
|
| |
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1408-1414.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1382-1393.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1370-1380.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1395-1406.
|
| |
No. YCS-2002-347. (December 2002)
|
| |
Journal of Computer Security, Vol. 1, No. 1. (1992), pp. 37-58.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 15, No. 1. (January 1993), pp. 73-132.
|
| |
In CCS '08: Proceedings of the 15th ACM Conference on Computer and Communications Security (2008), pp. 357-370.
|
| |
|
| |
Formal Aspects of Computing
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1997), pp. 106-119.
|
| |
In Proceedings of a Symposium on Applied Mathematics, Vol. 19 (1967), pp. 19-31.
|
| |
Acta Informatica, Vol. 1, No. 4. (1 December 1972), pp. 271-281.
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (24 January 2008), pp. 61-77.
|
| |
The American Mathematical Monthly, Vol. 102, No. 7. (1995), pp. 600-608.
|
| |
Communications of the ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
|
| |
|
| |
|
CiteULike
michaelbanks's CiteULike
Search
Export
