Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
Hi-index | 0.00 |