POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Theoretical Computer Science
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Hi-index | 0.00 |