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