ACM Transactions on Programming Languages and Systems (TOPLAS)
Herbrand Award Acceptance Speech
Journal of Automated Reasoning
Components of verification technology
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Hi-index | 0.00 |