Recursion in logics of programs
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A modal logic for abstract delta modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
Hi-index | 0.01 |