Share on Facebook Tweet on Twitter Share on LinkedIn Share by email

Details

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