-
Bib ID# 17187
ISBN: 9783540474623
UPC: 10.1007/11901433
Title: Formal Methods and Software Engineering8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
Author: Liu, Zhiming.
Publication Info:
Item Type: Language material