presented at event 9th International Conference on Formal Engineering Methods (ICFEM 2007) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Science & Technology Technology