Verification of Mobile SMS Application with Model Checking Agent.

Siti Dianah Abdul Bujang, Ali Selamat

Browse the full ISDA paper archive.