Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods(ISOLA 2004)
Book title Buchtitel
Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods(ISOLA 2004)
Publisher Herausgeber
Department of Computer Science, University Cyprus
Place of publishing Erscheinungsort
TR-2004-6
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Abe, Rey ; Beinhart, Martin ; Biffl, Stefan ; Kühn, Eva ; Ly, Markus ; Thurnher, Bettina | Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application" | Konferenzbeitrag Inproceedings | 2004 |