In:
|
Margaria, T.; Steffen, B.; Philippou, A. (ed.), Preliminary Proceedings International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), rm October/November 2004, Paphos, Cyprus, pp. 201-209
|
Editor(s):
|
Margaria, T.; Steffen, B.; Philippou, A.; Reitenspiess, M.
|
Subject:
|
Informatics for Technical Applications |
Organization:
|
Informatics for Technical Applications |
Book title:
|
Margaria, T.; Steffen, B.; Philippou, A. (ed.), Preliminary Proceedings International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), rm October/November 2004, Paphos, Cyprus |