Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor T. Margaria , B. Steffen
Series Lecture Notes in Computer Science
Conference International Symposium on Leveraging Applications of Formal Methods
Citation
Kok, J.N, & Arbab, F. (2006). Interaction and Coordination of Tools for Structured Data. In T Margaria & B Steffen (Eds.), Proceedings of International Symposium on Leveraging Applications of Formal Methods 2006 (pp. 1–8). Springer.