Rey Abe, Martin Beinhart, Stefan Biffl, eva Kühn, Markus Ly, Bettina Thurnher. Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a Travel Service Application . In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 42-44, Department of Computer Science, University of Cyprus, 2004.
Abstract is missing.