| |
Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 239-257.
|
| |
|
| |
In COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference (1998), pp. 402-423.
|
| |
Theoretical Computer Science, Vol. 206, No. 1-2. (06 October 1998), pp. 341-352.
|
| |
The Journal of Symbolic Logic, Vol. 56, No. 1. (1991), pp. 276-294.
|
| |
|
| |
|
| |
In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 252-259.
|
| |
Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
Minds and Machines, Vol. 17, No. 2. (July 2007), pp. 185-202.
|
| |
|
| |
Computer Security Foundations Workshop V, 1992. Proceedings. In 5th IEEE Computer Security Foundations Workshop (CSFW '92) (1992), pp. 22-33.
|
| |
Annals of Pure and Applied Logic (14 July 2009)
|
| |
SIGPLAN Notices, Vol. 11, No. 5. (1976), pp. 64-68.
|
| |
|
| |
|
| |
Types for Proofs and Programs (2002), pp. 727-727.
|
| |
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.
|
| |
Journal of Mathematics Teacher Education, Vol. 10, No. 3. (June 2007), pp. 145-166.
|
| |
R&D Management, Vol. 39, No. 2., pp. 192-210.
|
| |
|
| |
|
| |
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.
|
| |
The Journal of Philosophy, Vol. 57, No. 14. (1960), pp. 461-471.
|
| |
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.
|
| |
Mathematics of Program Construction (2006), pp. 49-68.
|
| |
|
| |
In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318.
|
| |
In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 352-366.
|
| |
|
| |
|
| |
Criminal Justice Policy Review, Vol. 3, No. 2. (1 June 1989), pp. 212-214.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 90-101.
|
| |
Journal of Automated Reasoning
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
|
| |
Data & Knowledge Engineering, Vol. 67, No. 1. (October 2008), pp. 185-199.
|
| |
Computer Security – ESORICS 2006 In Computer Security – ESORICS 2006, Vol. 4189 (2006), pp. 362-383.
|
| |
Rejuvenation Research, Vol. 10, No. 2. (2007), pp. 225-234.
|
| |
Formal Methods and Software Engineering (2004), pp. 418-433.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 15, No. 1. (January 1993), pp. 73-132.
|
Search
