ACM Transactions on Programming Languages and Systems (TOPLAS)
Deciding Combinations of Theories
Journal of the ACM (JACM)
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Automated deduction for verification
ACM Computing Surveys (CSUR)
Automatic programming using abstract data types
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |