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),
Cyprus;
2004-10-30
- 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,
TR-2004-6
(2004),
42
- 43.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968684
Created from the Publication Database of the Vienna University of Technology.