5G

Formal Verification of the 5G Inter-Operator Signaling Protocol
Hans Christian Rudolph