Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeBook
> Publications > Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004