View in EDS
Saved in:
Bibliographic Details
Source:
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21
Database: Springer Nature eBooks