Details

Publication typeBook
PublisherSpringer Verlag
> Publications > Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004