Talks and Poster Presentations (with Proceedings-Entry):
R. Abe, M. Beinhart, S. Biffl, E. Kühn, M. Ly, B. Thurnher:
"Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application"";
Poster: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04),
- 2004-11-02; in: "Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods(ISOLA 2004)",
Department of Computer Science, University Cyprus,
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.