Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings / edited by Jin Song Dong, Jim Woodcock. by Dong, Jin Song Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu. by Dong, Jin Song Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG