Formal Methods And Software Engineering: 4th International Conference On Formal Engineering Methods, Icfem 2002, Shanghai, China, October 21 25, 2002: Proceedings
Format: paperback
ISBN:
9783540000297 (3540000291)
Publish date: October 9th 2002
Publisher: Springer
Pages no: 636
Edition language: English