Reference
Abe, R., Beinhart, M., Biffl, S., Ly, M., & Thurnher, B. (2004). Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a -Travel Service Application. Paper presented at the 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus.
Publication type
Paper in Conference Proceedings
Persons
Organizational Units
- Institute of Information Systems
- Hilti Chair of Business Process Management