ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of automated reasoning
Alpaca: extensible authorization for distributed services
Proceedings of the 14th ACM conference on Computer and communications security
Implementing Spi Calculus Using Nominal Techniques
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Hi-index | 0.00 |