View of Formal Verification of Wireless Transaction Protocols Using Event-B: A Case Study on WAP Class 2 | Journal of Computer Engineering

← Formal Verification of Wireless Transaction Protocols Using Event-B: A Case Study on WAP Class 2

hit counter