Languages
WoodcockJim
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003
by:
Dong Jin Song; WoodcockJim
(Language materials, printed)