Preliminary proceedings / International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, 30 October - 2 November 2004, Paphos, Cyprus
[Nicosia]: Univ. of Cyprus, 2004
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- 348 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Preliminary proceedings / International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, 30 October - 2 November 2004, Paphos, Cyprus
|
---|---|
Verantwortlichkeitsangabe: | [Tiziana Margaria ...] |
Autor/in / Beteiligte Person: | Margaria, Tiziana |
Körperschaft: | ISoLA, 1, 2004, Paphos ; ISoLA |
Veröffentlichung: | [Nicosia]: Univ. of Cyprus, 2004 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 348 S. : graph. Darst. |
Sonstiges: |
|