Using abstract interpretation to add type checking for interfaces in Java bytecode verification
Theoretical Computer Science
Hi-index | 0.00 |
The seven Special Topic articles focus on the architectures and protocols for mobility management in all-IP mobile networks. The articles are summarized here.