1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)

View Statistics Email Alert RSS Feed

Description

Event name
1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04)
 
Start date
30-10-2004
End date
02-11-2004
 
Location
Cyprus
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Schmied, Fabian ; Kühn, Eva Distributed Peer-to-Peer Application Development with Declarative and Aspect-Oriented TechniquesKonferenzbeitrag Inproceedings 2004
2Abe, 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 Inproceedings2004