| |
Quality Software, 2008. QSIC '08. The Eighth International Conference on In 2008 Eighth International Conference on Quality Software (QSIC), Vol. 0 (19 August 2008), pp. 45-54.
|
| |
Semantics and Algebraic Specification (2009), pp. 140-161.
|
| |
In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 1-12.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 13-24.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 17-27.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 42-54.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 19, No. 2. (2009), pp. 245-296.
|
| |
SIGPLAN Notices, Vol. 11, No. 5. (1976), pp. 64-68.
|
| |
In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990), pp. 398-403.
|
| |
Distributed Systems In Distributed Systems, Vol. 190 (1985), pp. 203-285.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. SE-3, No. 2. (1977), pp. 125-143.
|
| |
In CADE-18: Proceedings of the 18th International Conference on Automated Deduction (2002), pp. 63-77.
|
| |
Mathematics of Program Construction (2006), pp. 49-68.
|
| |
BMC Bioinformatics, Vol. 10, No. 1. (2009)
|
| |
Proceedings of the 1998 IEEE Symposium on Security and Privacy In Proceedings of the 1998 IEEE Symposium on Security and Privacy (1998), pp. 160-171.
|
| |
Journal of Computer Security, Vol. 7, No. 2-3. (1999), pp. 191-230.
|
| |
Acta Informatica, Vol. 1, No. 4. (1 December 1972), pp. 271-281.
|
| |
Data & Knowledge Engineering In Advances in business process management, Vol. 50, No. 1. (July 2004), pp. 9-34.
|
| |
On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE (2003), pp. 407-425.
|
| |
In WETICE '06: Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2006), pp. 297-304.
|
| |
In SIGMOD '05: Proceedings of the 2005 ACM SIGMOD international conference on Management of data (2005), pp. 323-334.
|
| |
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 106-119.
|
| |
|
| |
Inf. Process. Lett., Vol. 88, No. 1-2. (2003), pp. 59-65.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
Theoretical Computer Science, Vol. 270, No. 1--2. (2002), pp. 125-203.
|
| |
Archive for Mathematical Logic, Vol. 43, No. 6. (2004), pp. 751-794.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 364-377.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 220-231.
|
Search
