Title: Formal methods for mobile computing
Subjects: Congresses, Formal methods (Computer science), Mobile computing, System design, Computer software