Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
Publisher
Springer Verlag
All copyrights reserved by Springer 2007.
Details
Type
Book
Related People
Mike Barnett
Wolfram Schulte
Share
>
Publications
>
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004
