| |
Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17.
|
| |
Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676.
|
| |
In 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) (2009)
|
| |
SIGPLAN Notices, Vol. 11, No. 5. (1976), pp. 64-68.
|
| |
In 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006), pp. 190-201.
|
| |
In Programming Methodology (2003), pp. 441-460.
|
| |
Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110.
|
| |
Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187.
|
| |
Acta Informatica, Vol. 14, No. 1. (1 June 1980), pp. 21-37.
|
| |
|
| |
Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67.
|
| |
In POPL '75: Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1975), pp. 54-66.
|
| |
Communications of the ACM, Vol. 22, No. 5. (May 1979), pp. 271-280.
|
| |
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.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3. (1982), pp. 455-495.
|
| |
|
| |
|
| |
|
| |
Communications of the ACM, Vol. 18, No. 8. (August 1975), pp. 453-457.
|
| |
|
| |
|
| |
|
| |
In 17th Annual IEEE Symposium on Logic in Computer Science (LICS '02) (2002), pp. 55-74.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1997), pp. 106-119.
|
| |
Acta Informatica, Vol. 1, No. 4. (1 December 1972), pp. 271-281.
|
| |
Communications of the ACM, Vol. 31, No. 9. (1988), pp. 1048-1063.
|
| |
SIGSOFT Software Engineering Notes, Vol. 3, No. 2. (1978), pp. 14-16.
|
| |
Communications of the ACM, Vol. 20, No. 7. (1977), pp. 504-513.
|
| |
In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages (1977), pp. 206-214.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 2, No. 1. (1980), pp. 56-76.
|
CiteULike
michaelbanks's CiteULike
Search
Export
