Preliminary Proceedings of the 1st InternationalSymposium on Leveraging Applications of Formal Methods (ISOLA 2004)
Book title Buchtitel
Preliminary Proceedings of the 1st InternationalSymposium 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.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Schmied, Fabian ; Kühn, Eva | Distributed Peer-to-Peer Application Development with Declarative and Aspect-Oriented Techniques | Konferenzbeitrag Inproceedings  | 2004 |